| Publication | Date of Publication | Type |
|---|
| Stochastic best-effort strategies for Borel goals | 2026-02-27 | Paper |
Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
Logical Methods in Computer Science | 2025-07-11 | Paper |
\( \textsc{ltl}_f\) synthesis under environment specifications for reachability and safety properties
Information and Computation | 2025-02-28 | Paper |
Verification of agent navigation in partially-known environments
Artificial Intelligence | 2022-06-01 | Paper |
| scientific article; zbMATH DE number 7361821 (Why is no real title available?) | 2021-06-22 | Paper |
Parameterized model checking of synchronous distributed algorithms by abstraction
Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Reasoning about online algorithms with weighted automata | 2019-05-06 | Paper |
CTL^ with graded path modalities
Information and Computation | 2018-09-27 | Paper |
Graded modalities in strategy logic
Information and Computation | 2018-06-14 | Paper |
Graded modalities in strategy logic
Information and Computation | 2018-06-14 | Paper |
Parameterized model checking of rendezvous systems
Distributed Computing | 2018-06-01 | Paper |
First-cycle games
Information and Computation | 2017-05-12 | Paper |
First-cycle games
Information and Computation | 2017-05-12 | Paper |
Model checking parameterised multi-token systems via the composition method
Automated Reasoning | 2016-09-05 | Paper |
On the Expressive Power of Communication Primitives in Parameterised Systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
On CTL* with Graded Path Modalities
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Liveness of parameterized timed networks
Automata, Languages, and Programming | 2015-11-04 | Paper |
Parameterized Model Checking of Token-Passing Systems
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Reasoning about online algorithms with weighted automata
ACM Transactions on Algorithms | 2014-11-18 | Paper |
Parameterized model checking of rendezvous systems
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Rigorous approximated determinization of weighted automata
Theoretical Computer Science | 2013-11-29 | Paper |
Pushdown module checking with imperfect information
Information and Computation | 2013-06-06 | Paper |
Improved model checking of hierarchical systems
Information and Computation | 2012-05-24 | Paper |
Formal Analysis of Online Algorithms
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Improved model checking of hierarchical systems
Lecture Notes in Computer Science | 2010-01-14 | Paper |
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Pushdown Module Checking with Imperfect Information
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
On the Succinctness of Nondeterminism
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
