( en | de | ru )

 

Disambiguierung von "Penczek, Wojciech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking for multivalued logic of knowledge and time.

, und . AAMAS, Seite 169-176. ACM, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Frank Penczek

Wojciech Kowalczyk

Wojciech Osinski

Wojciech Derwich

Wojciech Wojtyna

 

Weitere Publikationen von Autoren mit dem selben Namen

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