( en | de | ru )

 

Disambiguation of "Penczek, Wojciech"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Timed Automata Based on Similarity.

, , and . Fundam. Informaticae, 51 (1-2): 59-89 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frank Penczek

Wojciech Kowalczyk

Wojciech Osinski

Wojciech Derwich

Wojciech Wojtyna

 

Other publications of authors with the same name

Preface., , and . Fundam. Informaticae, 146 (1): v-vi (2016)A complete axiomatization of a first-order temporal logic over trace systems., and . Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 79-97. DIMACS/AMS, (1996)SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1180-1189. IOS Press, (2023)SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework., , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 309-321. CEUR-WS.org, (2013)Automated abstract planning with use of genetic algorithms., , and . GECCO (Companion), page 129-130. ACM, (2013)Verification of Multi-Agent Properties in Electronic Voting: A Case Study., , , , , , and . AiML, page 531-556. College Publications, (2022)Towards Partial Order Reductions for Strategic Ability., , , and . AAMAS, page 156-165. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Towards Quantitative Verification of Reaction Systems., , and . UCNC, volume 9726 of Lecture Notes in Computer Science, page 142-154. Springer, (2016)Axiomatizations of Temporal Logics on Trace Systems.. STACS, volume 665 of Lecture Notes in Computer Science, page 452-462. Springer, (1993)Unbounded Model Checking for Alternating-Time Temporal Logic., and . AAMAS, page 646-653. IEEE Computer Society, (2004)