| Publication | Date of Publication | Type |
|---|
| No finite model property for logics of quantified announcements | 2024-11-24 | Paper |
Aleatoric propositions: reasoning about coins
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
The Expressivity of Quantified Group Announcements
Journal Of Logic And Computation | 2024-02-08 | Paper |
| Population based methods for optimising infinite behaviours of timed automata | 2022-05-28 | Paper |
scientific article; zbMATH DE number 7471709 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471709 (Why is no real title available?) | 2022-02-09 | Paper |
Positive announcements
Studia Logica | 2021-08-19 | Paper |
| scientific article; zbMATH DE number 7362731 (Why is no real title available?) | 2021-06-24 | Paper |
scientific article; zbMATH DE number 7362731 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-24 | Paper |
A modal aleatoric calculus for probabilistic reasoning
(available as arXiv preprint) | 2020-01-14 | Paper |
Sublogics of a branching time logic of robustness
Information and Computation | 2019-05-02 | Paper |
Expressiveness and succinctness of a logic of robustness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
A composable language for action models
(available as arXiv preprint) | 2018-04-23 | Paper |
Finding minimum and maximum termination time of timed automata models with cyclic behaviour
Theoretical Computer Science | 2017-02-06 | Paper |
Finding minimum and maximum termination time of timed automata models with cyclic behaviour
Theoretical Computer Science | 2017-02-06 | Paper |
A complete axiomatization of a temporal logic with obligation and robustness
Journal Of Logic And Computation | 2017-01-31 | Paper |
Refinement quantified logics of knowledge
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
The undecidability of quantified announcements
Studia Logica | 2016-09-07 | Paper |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Formal Aspects of Computing | 2016-01-06 | Paper |
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Synthesis for continuous time
Theoretical Computer Science | 2015-07-24 | Paper |
Semantics for knowledge and change of awareness
Journal of Logic, Language and Information | 2015-02-27 | Paper |
Indiscrete models: model building and model checking over linear time
Logic and Its Applications | 2015-01-06 | Paper |
Refinement modal logic
Information and Computation | 2014-11-28 | Paper |
| Refinement quantified logics of knowledge and belief for multiple agents | 2014-06-11 | Paper |
| Synthesis for temporal logic over the reals | 2014-06-11 | Paper |
Verifying temporal properties in real models
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Model checking general linear temporal logic
Lecture Notes in Computer Science | 2013-10-04 | Paper |
On the succinctness of some modal logics
Artificial Intelligence | 2013-08-23 | Paper |
| Future event logic -- axioms and complexity | 2012-08-05 | Paper |
| Undecidability for arbitrary public announcement logic | 2011-03-30 | Paper |
Becoming aware of propositional variables
Logic and Its Applications | 2010-12-17 | Paper |
Axioms for Obligation and Robustness with Temporal Logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Simulation and Information: Quantifying over Epistemic Events
Lecture Notes in Computer Science | 2009-11-12 | Paper |
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
A Temporal Logic of Robustness
Frontiers of Combining Systems | 2008-09-16 | Paper |
Idempotent Transductions for Modal Logics
Frontiers of Combining Systems | 2008-09-16 | Paper |
| scientific article; zbMATH DE number 5295708 (Why is no real title available?) | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5227706 (Why is no real title available?) | 2008-01-17 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
| Axioms for logics of knowledge and past time: synchrony and unique initial states | 2006-08-15 | Paper |
| scientific article; zbMATH DE number 2196589 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2084388 (Why is no real title available?) | 2004-08-09 | Paper |
