| Publication | Date of Publication | Type |
|---|
| The adversarial Stackelberg value in quantitative games | 2026-03-18 | Paper |
| As soon as possible but rationally | 2026-02-10 | Paper |
LTL reactive synthesis with a few hints
Journal of Automated Reasoning | 2025-10-22 | Paper |
| Rational verification for Nash and subgame-perfect equilibria in graph games | 2024-12-03 | Paper |
| Pareto-rational verification | 2024-08-13 | Paper |
| Strategy synthesis for global window PCTL | 2024-06-24 | Paper |
| The complexity of SPEs in mean-payoff games | 2024-06-24 | Paper |
Stackelberg-Pareto synthesis
ACM Transactions on Computational Logic | 2024-04-25 | Paper |
On the Complexity of SPEs in Parity Games
(available as arXiv preprint) | 2024-04-10 | Paper |
| LTL reactive synthesis with a few hints | 2024-04-05 | Paper |
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7730610 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
scientific article; zbMATH DE number 7730629 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
scientific article; zbMATH DE number 7730611 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
| scientific article; zbMATH DE number 7649921 (Why is no real title available?) | 2023-02-03 | Paper |
Energy mean-payoff games
(available as arXiv preprint) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7650329 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Lifted model checking for relational MDPs
Machine Learning | 2022-11-28 | Paper |
Correction to: ``Reactive synthesis without regret''
Acta Informatica | 2022-09-26 | Paper |
scientific article; zbMATH DE number 7559496 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| scientific article; zbMATH DE number 7559473 (Why is no real title available?) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7533335 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
Active learning of sequential transducers with side information about the domain
(available as arXiv preprint) | 2022-03-25 | Paper |
Safe learning for near-optimal scheduling
(available as arXiv preprint) | 2022-03-24 | Paper |
| scientific article; zbMATH DE number 7447731 (Why is no real title available?) | 2021-12-17 | Paper |
Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives
(available as arXiv preprint) | 2021-08-04 | Paper |
Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
(available as arXiv preprint) | 2021-08-04 | Paper |
| Expectations or guarantees? I want it all! A crossroad between games and MDPs | 2021-06-22 | Paper |
Expectations or guarantees? I want it all! A crossroad between games and MDPs
(available as arXiv preprint) | 2021-06-22 | Paper |
Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
Information and Computation | 2021-06-03 | Paper |
A pattern logic for automata with outputs
International Journal of Foundations of Computer Science | 2021-04-19 | Paper |
On the existence of weak subgame perfect equilibria
Information and Computation | 2021-02-08 | Paper |
Mixing probabilistic and non-probabilistic objectives in Markov decision processes
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Rational synthesis under imperfect information
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| On delay and regret determinization of max-plus automata | 2021-01-19 | Paper |
On delay and regret determinization of max-plus automata
(available as arXiv preprint) | 2021-01-19 | Paper |
The complexity of subgame perfect equilibria in quantitative reachability games
(available as arXiv preprint) | 2020-12-15 | Paper |
| The complexity of subgame perfect equilibria in quantitative reachability games | 2020-12-15 | Paper |
From LTL and limit-deterministic Büchi automata to deterministic parity automata
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Admissiblity in concurrent games
(available as arXiv preprint) | 2020-05-27 | Paper |
Threshold constraints with guarantees for parity objectives in Markov decision processes
(available as arXiv preprint) | 2020-05-27 | Paper |
Admissible strategies in timed games
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Partial solvers for generalized parity games
(available as arXiv preprint) | 2019-10-22 | Paper |
Decidable weighted expressions with Presburger combinators
Journal of Computer and System Sciences | 2019-08-30 | Paper |
Looking at mean payoff through foggy windows
Acta Informatica | 2018-12-12 | Paper |
A pattern logic for automata with outputs
(available as arXiv preprint) | 2018-11-22 | Paper |
Minkowski games
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Visibly pushdown transducers
Journal of Computer and System Sciences | 2018-09-07 | Paper |
Symbolic model checking in non-Boolean domains
Handbook of Model Checking | 2018-07-20 | Paper |
Mean-payoff games with partial observation
Theoretical Computer Science | 2018-06-05 | Paper |
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Secure equilibria in weighted games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
The complexity of admissibility in omega-regular games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
scientific article; zbMATH DE number 6862142 (Why is no real title available?)
(available as arXiv preprint) | 2018-04-19 | Paper |
scientific article; zbMATH DE number 6862070 (Why is no real title available?)
(available as arXiv preprint) | 2018-04-19 | Paper |
| On the complexity of heterogeneous multidimensional games | 2018-03-21 | Paper |
| Pareto curves of multidimensional mean-payoff games | 2018-03-01 | Paper |
Percentile queries in multi-dimensional Markov decision processes
Computer Aided Verification | 2018-03-01 | Paper |
| The complexity of rational synthesis | 2017-12-19 | Paper |
Decidable weighted expressions with Presburger combinators
Lecture Notes in Computer Science | 2017-11-22 | Paper |
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
Acta Informatica | 2017-10-09 | Paper |
| Assume-admissible synthesis | 2017-09-12 | Paper |
| Reactive Synthesis Without Regret | 2017-09-12 | Paper |
scientific article; zbMATH DE number 6767615 (Why is no real title available?)
(available as arXiv preprint) | 2017-08-31 | Paper |
Minimizing regret in discounted-sum games
(available as arXiv preprint) | 2017-07-19 | Paper |
Durations and parametric model-checking in timed automata
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A classification of symbolic transition systems
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
On the existence of weak subgame perfect equilibria
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Energy and mean-payoff timed games
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Percentile queries in multi-dimensional Markov decision processes
Formal Methods in System Design | 2017-05-15 | Paper |
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
Information and Computation | 2017-05-12 | Paper |
Doomsday equilibria for omega-regular games
Information and Computation | 2017-05-12 | Paper |
Multiple-environment Markov decision processes
(available as arXiv preprint) | 2017-04-25 | Paper |
| Finite-valued weighted automata | 2017-04-25 | Paper |
Quantitative games with interval objectives
(available as arXiv preprint) | 2017-04-25 | Paper |
Reactive synthesis without regret
Acta Informatica | 2017-04-03 | Paper |
Assume-admissible synthesis
Acta Informatica | 2017-04-03 | Paper |
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
(available as arXiv preprint) | 2017-03-03 | Paper |
The logic of ``initially'' and ``next'': complete axiomatization and complexity
Information Processing Letters | 2016-06-16 | Paper |
-Petri nets: algorithms and complexity
Fundamenta Informaticae | 2016-05-11 | Paper |
Non-zero sum games for reactive synthesis
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Looking at mean-payoff through foggy windows
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Quantitative languages defined by functional automata
Logical Methods in Computer Science | 2015-10-29 | Paper |
Mean-payoff games with partial-observation (extended abstract)
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Looking at mean-payoff and total-payoff through windows
Information and Computation | 2015-06-01 | Paper |
The complexity of multi-mean-payoff and multi-energy games
Information and Computation | 2015-05-04 | Paper |
Variations on the stochastic shortest path problem
Lecture Notes in Computer Science | 2015-02-04 | Paper |
On regions and zones for event-clock automata
Formal Methods in System Design | 2015-01-19 | Paper |
Doomsday equilibria for omega-regular games
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Looking at mean-payoff and total-payoff through windows
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Strategy synthesis for multi-dimensional quantitative objectives
Acta Informatica | 2014-07-03 | Paper |
| Games for counting abstractions | 2013-09-26 | Paper |
| On the -language expressive power of extended Petri nets | 2013-09-25 | Paper |
| Petri nets with non-blocking arcs are difficult to analyze | 2013-09-09 | Paper |
| Monotonic extensions of Petri nets: forward and backward search revisited | 2013-08-16 | Paper |
Optimal bounds for multiweighted and parametrised energy games
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Synthesis from LTL specifications with mean-payoff objectives
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
\(\omega \)-Petri nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Controllers with minimal observation power (application to timed systems)
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Antichains and compositional algorithms for LTL synthesis
Formal Methods in System Design | 2012-09-27 | Paper |
Quantitative Languages Defined by Functional Automata
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Strategy synthesis for multi-dimensional quantitative objectives
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Generalized mean-payoff and energy games | 2012-08-29 | Paper |
Generalized mean-payoff and energy games
(available as arXiv preprint) | 2012-08-29 | Paper |
Event clock automata: from theory to practice
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Reachability Problems for Hybrid Automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Antichain-Based QBF Solving
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
| scientific article; zbMATH DE number 5954369 (Why is no real title available?) | 2011-10-05 | Paper |
On reachability for hybrid automata over bounded time
Automata, Languages and Programming | 2011-07-07 | Paper |
Faster algorithms for mean-payoff games
Formal Methods in System Design | 2011-05-23 | Paper |
Fixed point guided abstraction refinement for alternating automata
Theoretical Computer Science | 2010-10-07 | Paper |
Compositional algorithms for LTL synthesis
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Lattice-valued binary decision diagrams
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Safraless Procedures for Timed Specifications
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Energy and mean-payoff games with imperfect information
Computer Science Logic | 2010-09-03 | Paper |
Iterated regret minimization in game graphs
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Properties of visibly pushdown transducers
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Antichain algorithms for finite automata
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Realizability of real-time logics
Lecture Notes in Computer Science | 2009-12-01 | Paper |
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Fixpoint Guided Abstraction Refinement for Alternating Automata
Implementation and Application of Automata | 2009-07-09 | Paper |
Robust safety of timed automata
Formal Methods in System Design | 2009-07-06 | Paper |
An Antichain Algorithm for LTL Realizability
Computer Aided Verification | 2009-06-30 | Paper |
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Antichains for the Automata-Based Approach to Model-Checking
Logical Methods in Computer Science | 2009-04-29 | Paper |
Algorithms for Omega-Regular Games with Imperfect Information
Computer Science Logic | 2009-03-12 | Paper |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Fixpoint-Guided Abstraction Refinements
Static Analysis | 2009-03-03 | Paper |
| From many places to few: automatic abstraction refinement for Petri nets | 2009-02-12 | Paper |
EQUIVALENCE OF LABELED MARKOV CHAINS
International Journal of Foundations of Computer Science | 2008-11-24 | Paper |
Visibly Pushdown Transducers
Automata, Languages and Programming | 2008-08-19 | Paper |
Timed Control with Observation Based and Stuttering Invariant Strategies
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game
Computers and Games | 2008-01-04 | Paper |
Minimum-Time Reachability in Timed Games
Automata, Languages and Programming | 2007-11-28 | Paper |
Algorithms for Omega-Regular Games with Imperfect Information
Logical Methods in Computer Science | 2007-11-15 | Paper |
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design | 2007-10-11 | Paper |
Real-Time Model-Checking: Parameters everywhere
Logical Methods in Computer Science | 2007-10-11 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Antichains: A New Algorithm for Checking Universality of Finite Automata
Computer Aided Verification | 2007-09-05 | Paper |
Improved Algorithms for the Automata-Based Approach to Model-Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Well-structured languages
Acta Informatica | 2007-08-17 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Model checking restricted sets of timed paths
Theoretical Computer Science | 2006-09-13 | Paper |
On model-checking timed automata with stopwatch observers
Information and Computation | 2006-06-09 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Almost ASAP semantics: from timed models to timed implementations
Formal Aspects of Computing | 2005-12-13 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2085321 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080048 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1962855 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1864595 (Why is no real title available?) | 2003-02-06 | Paper |
| scientific article; zbMATH DE number 1796141 (Why is no real title available?) | 2002-09-04 | Paper |
Axioms for real-time logics
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1617325 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1538050 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1444348 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1400049 (Why is no real title available?) | 2000-03-20 | Paper |
| scientific article; zbMATH DE number 1304994 (Why is no real title available?) | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1324668 (Why is no real title available?) | 1999-08-17 | Paper |
