| Publication | Date of Publication | Type |
|---|
Model-checking strategic abilities in information-sharing systems
ACM Transactions on Computational Logic | 2025-02-14 | Paper |
An SMT-based approach to the verification of knowledge-based programs
Formal Aspects of Computing | 2025-02-14 | Paper |
Program semantics and verification technique for AI-centred programs
Formal Methods | 2023-08-17 | Paper |
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
Artificial Intelligence | 2023-06-19 | Paper |
| Counterpart semantics at work: independence and incompleteness results in quantified modal logic | 2022-10-28 | Paper |
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Journal of Artificial Intelligence Research | 2022-05-16 | Paper |
| scientific article; zbMATH DE number 7450020 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450020 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| scientific article; zbMATH DE number 7444842 (Why is no real title available?) | 2021-12-14 | Paper |
scientific article; zbMATH DE number 7444842 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-14 | Paper |
| Relaxing exclusive control in Boolean games | 2021-12-14 | Paper |
Relaxing exclusive control in Boolean games
(available as arXiv preprint) | 2021-12-14 | Paper |
Strategic reasoning with a bounded number of resources: the quest for tractability
Artificial Intelligence | 2021-11-02 | Paper |
| scientific article; zbMATH DE number 7368413 (Why is no real title available?) | 2021-07-06 | Paper |
Extended Markov games to learn multiple tasks in multi-agent reinforcement learning
(available as arXiv preprint) | 2021-07-06 | Paper |
| scientific article; zbMATH DE number 7368338 (Why is no real title available?) | 2021-07-06 | Paper |
| Reasoning about knowledge and strategies: epistemic strategy logic | 2021-06-22 | Paper |
Reasoning about knowledge and strategies: epistemic strategy logic
(available as arXiv preprint) | 2021-06-22 | 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 |
A Hennessy-Milner theorem for ATL with imperfect information
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Verification of multi-agent systems with public actions against strategy logic
Artificial Intelligence | 2020-08-06 | Paper |
Second-order propositional modal logic: expressiveness and completeness results
Artificial Intelligence | 2019-03-14 | Paper |
| Abstraction-based verification of infinite-state reactive modules | 2018-07-12 | Paper |
| Model checking auctions as artifact systems: decidability via finite abstraction | 2017-07-18 | Paper |
A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Verification of agent-based artifact systems
The Journal of Artificial Intelligence Research (JAIR) | 2014-10-22 | Paper |
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
| Model checking temporal-epistemic logic using alternating tree automata | 2012-02-28 | Paper |
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Fundamenta Informaticae | 2011-11-22 | Paper |
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence | 2009-08-31 | Paper |
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Logic, Language, Information and Computation | 2009-07-02 | Paper |
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Algebraic aspects of cut elimination
Studia Logica | 2005-04-07 | Paper |
