Logical methods for specification and verification of multi-agent systems

von Jamroga, Wojciech
Veröffentlicht 2015

STRATEGIC ABILITIES OF ASYNCHRONOUS AGENTS: SEMANTIC SIDE EFFECTS AND HOW TO TAME THEM

von Jamroga, Wojciech
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Pretty Good Strategies for Benaloh Challenge

von Jamroga, Wojciech
Veröffentlicht in E-Vote-ID Conference (8. : 2023 : Luxemburg, Stadt) Electronic voting (2023)

Underapproximating ATL with imperfect information and imperfect recall : = Dolna aproksymacja bezpamięciowego ATL o niepełnej informacji

von Jamroga, Wojciech
Veröffentlicht 2015

Natural Strategic Abilities in Voting Protocols

von Jamroga, Wojciech
Veröffentlicht in STAST (10. : 2020 : Online) Socio-Technical Aspects in Security and Trust (2021)

Towards partial order reductions for fragments of alternating-time temporal logic : = O redukcjach czȩścio-porządkowych dla fragmentów logiki temporalnej czasu alternującego

von Dembiński, Piotr
Veröffentlicht 2016

Towards Model Checking of Voting Protocols in UPAAL

von Jamroga, Wojciech
Veröffentlicht in E-Vote-ID (5. : 2020 : Online) Electronic voting (2020)

Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings

Veröffentlicht 2010

MSATL: A TOOL FOR SAT-BASED ATL SATISFIABILITY CHECKING

von Niewiadomski, Artur
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 3 of 3 (2021)