| Publication | Date of Publication | Type |
|---|
| Dependency matrices for multiplayer strategic dependencies | 2024-09-12 | Paper |
| Semantics of attack-defense trees for dynamic countermeasures and a new hierarchy of star-free languages | 2024-05-31 | Paper |
Adversarial formal semantics of attack trees and related problems
(available as arXiv preprint) | 2024-02-08 | Paper |
| Adversarial formal semantics of attack trees and related problems | 2024-02-08 | Paper |
Is my attack tree correct?
(available as arXiv preprint) | 2022-08-25 | Paper |
| Is my attack tree correct? | 2022-08-25 | Paper |
Dynamic epistemic logic games with epistemic temporal goals
(available as arXiv preprint) | 2021-07-06 | Paper |
| Automata techniques for epistemic protocol synthesis | 2021-06-22 | Paper |
Automata techniques for epistemic protocol synthesis
(available as arXiv preprint) | 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 |
DEL-based epistemic planning: decidability and complexity
Artificial Intelligence | 2020-11-16 | Paper |
Symbolic model checking of public announcement protocols
Journal Of Logic And Computation | 2020-02-17 | Paper |
Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems
Studia Logica | 2019-11-29 | Paper |
| Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis | 2019-07-24 | Paper |
Relating paths in transition systems: the fall of the modal mu-calculus
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Expressiveness and succinctness of a logic of robustness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment | 2018-04-12 | Paper |
| Emptiness Of Alternating Tree Automata Using Games With Imperfect Information | 2017-02-21 | Paper |
| Jumping Automata for Uniform Strategies | 2017-02-21 | Paper |
The complexity of one-agent refinement modal logic
Theoretical Computer Science | 2015-10-12 | 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 |
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Uniform strategies, rational relations and jumping automata
Information and Computation | 2015-06-01 | Paper |
Refinement modal logic
Information and Computation | 2014-11-28 | Paper |
A general notion of uniform strategies
International Game Theory Review | 2014-04-01 | Paper |
Verification of gap-order constraint abstractions of counter systems
Theoretical Computer Science | 2014-02-04 | Paper |
Modal event-clock specifications for timed component-based design
Science of Computer Programming | 2013-06-06 | Paper |
| On timed alternating simulation for concurrent timed games | 2012-10-24 | Paper |
On timed alternating simulation for concurrent timed games
Acta Informatica | 2012-10-15 | Paper |
The complexity of one-agent refinement modal logic
Logics in Artificial Intelligence | 2012-09-21 | Paper |
| Future event logic -- axioms and complexity | 2012-08-05 | Paper |
Verification of gap-order constraint abstractions of counter systems
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Hardness of preorder checking for basic formalisms
Theoretical Computer Science | 2011-12-07 | Paper |
Hardness of preorder checking for basic formalisms
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
Discrete Event Dynamic Systems | 2010-01-18 | Paper |
A decidable class of problems for control under partial observation
Information Processing Letters | 2009-12-04 | Paper |
Games with Opacity Condition
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Refinement and Consistency of Timed Modal Specifications
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Game Quantification Patterns
Logic and Its Applications | 2009-02-12 | Paper |
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Modal specifications for the control theory of discrete event systems
Discrete Event Dynamic Systems | 2007-06-07 | Paper |
| scientific article; zbMATH DE number 1836353 (Why is no real title available?) | 2002-11-27 | Paper |
Translations between modal logics of reactive systems
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 408806 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 177795 (Why is no real title available?) | 1993-05-18 | Paper |
