( en | de | ru )

 

Disambiguierung von "Penczek, Wojciech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Multi-Agent Properties in Electronic Voting: A Case Study.

, , , , , , und . AiML, Seite 531-556. College Publications, (2022)

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 Wojtyna

Wojciech Naworyta

Wojciech Torwinski

Waldemar Wojciech

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , und . Fundam. Informaticae, 146 (1): v-vi (2016)Verification of Multi-Agent Properties in Electronic Voting: A Case Study., , , , , , und . AiML, Seite 531-556. College Publications, (2022)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)Axiomatizations of Temporal Logics on Trace Systems.. STACS, Volume 665 von Lecture Notes in Computer Science, Seite 452-462. Springer, (1993)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)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)Automated abstract planning with use of genetic algorithms., , und . GECCO (Companion), Seite 129-130. ACM, (2013)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)