| Publication | Date of Publication | Type |
|---|
Formal verification and synthesis of mechanisms for social choice
Artificial Intelligence | 2025-03-05 | Paper |
On the complexity of model checking knowledge and time
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Reasoning about Quality and Fuzziness of Strategic Behaviors
ACM Transactions on Computational Logic | 2023-07-18 | Paper |
| Quantifying Bounds in Strategy Logic | 2022-05-28 | Paper |
Copy and remove as dynamic operators
Journal of Applied Non-Classical Logics | 2022-03-03 | Paper |
Dynamic epistemic logic games with epistemic temporal goals
(available as arXiv preprint) | 2021-07-06 | Paper |
Automata techniques for epistemic protocol synthesis
(available as arXiv preprint) | 2021-06-22 | Paper |
| Automata techniques for epistemic protocol synthesis | 2021-06-22 | Paper |
| The complexity of synthesizing uniform strategies | 2021-05-06 | Paper |
The complexity of synthesizing uniform strategies
(available as arXiv preprint) | 2021-05-06 | Paper |
| Opacity issues in games with imperfect information | 2021-03-03 | Paper |
Opacity issues in games with imperfect information
(available as arXiv preprint) | 2021-03-03 | Paper |
| scientific article; zbMATH DE number 7297884 (Why is no real title available?) | 2021-01-19 | Paper |
scientific article; zbMATH DE number 7297884 (Why is no real title available?)
(available as arXiv preprint) | 2021-01-19 | Paper |
Reasoning about knowledge and messages in asynchronous multi-agent systems
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
Relating paths in transition systems: the fall of the modal mu-calculus
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
| Jumping Automata for Uniform Strategies | 2017-02-21 | Paper |
Tableau method and NEXPTIME-completeness of DEL-sequents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Asynchronous announcements in a public channel
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Unifying hyper and epistemic temporal logics
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Relating paths in transition systems: the fall of the modal mu-calculus
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Uniform strategies, rational relations and jumping automata
Information and Computation | 2015-06-01 | Paper |
A general notion of uniform strategies
International Game Theory Review | 2014-04-01 | Paper |
Generalized DEL-Sequents
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Games with Opacity Condition
Lecture Notes in Computer Science | 2009-11-19 | Paper |
