| Publication | Date of Publication | Type |
|---|
| Verification of multi-agent properties in electronic voting: a case study | 2023-03-24 | Paper |
| scientific article; zbMATH DE number 7533366 (Why is no real title available?) | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7361813 (Why is no real title available?) | 2021-06-22 | Paper |
scientific article; zbMATH DE number 7361813 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-22 | Paper |
| Modularity and openness in modeling multi-agent systems | 2021-06-09 | Paper |
Modularity and openness in modeling multi-agent systems
(available as arXiv preprint) | 2021-06-09 | Paper |
Multi-valued verification of strategic ability
Fundamenta Informaticae | 2021-05-20 | Paper |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
Information and Computation | 2021-02-08 | Paper |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
Information and Computation | 2021-02-08 | Paper |
Towards partial order reductions for strategic ability
Journal of Artificial Intelligence Research | 2020-09-14 | Paper |
Natural strategic ability
Artificial Intelligence | 2020-01-20 | Paper |
Approximate verification of strategic abilities under imperfect information
Artificial Intelligence | 2020-01-20 | Paper |
Timed ATL: Forget Memory, Just Count
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
Reasoning about strategic abilities: agents with truly perfect recall
ACM Transactions on Computational Logic | 2019-07-04 | Paper |
Accumulative knowledge under bounded resources
Journal Of Logic And Computation | 2019-01-31 | Paper |
Iterative judgment aggregation
(available as arXiv preprint) | 2018-07-12 | Paper |
| SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems | 2018-02-13 | Paper |
| \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities | 2017-07-18 | Paper |
Logics for Reasoning About Strategic Abilities in Multi-player Games
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Coalition description logic with individuals
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
| Concepts, agents, and coalitions in alternating time | 2015-12-11 | Paper |
Synthesis and verification of uniform strategies for multi-agent systems
Lecture Notes in Computer Science | 2014-10-14 | Paper |
Accumulative knowledge under bounded resources
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Specification and Verification of Multi-Agent Systems
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Verifying agents with memory is harder than it seemed
AI Communications | 2011-05-18 | Paper |
Constructive knowledge: what agents can achieve under imperfect information
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Easy Yet Hard: Model Checking Strategies of Agents
Lecture Notes in Computer Science | 2009-08-20 | Paper |
| scientific article; zbMATH DE number 5593264 (Why is no real title available?) | 2009-08-10 | Paper |
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
A Logic for Reasoning about Rational Agents
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Model checking abilities of agents: a closer look
Theory of Computing Systems | 2008-04-11 | Paper |
Towards a theory of intention revision
Synthese | 2007-06-14 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Comparing semantics of logics for multi-agent systems
Synthese | 2006-10-24 | Paper |
| Expressing and verifying temporal and structural properties of mobile agents | 2006-09-06 | Paper |
| scientific article; zbMATH DE number 2182496 (Why is no real title available?) | 2005-06-23 | Paper |
Artificial Intelligence and Soft Computing - ICAISC 2004
Lecture Notes in Computer Science | 2005-04-12 | Paper |
| scientific article; zbMATH DE number 2119993 (Why is no real title available?) | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 1882056 (Why is no real title available?) | 2003-03-13 | Paper |
