| Publication | Date of Publication | Type |
|---|
| Semilinear representations for series-parallel atomic congestion games | 2024-09-12 | Paper |
| Parameterized safety verification of round-based shared-memory systems | 2024-06-24 | Paper |
| Computing the price of anarchy in atomic network congestion games (invited talk) | 2024-05-03 | Paper |
Abstraction refinement algorithms for timed automata
Computer Aided Verification | 2024-02-16 | Paper |
Reasoning about Quality and Fuzziness of Strategic Behaviors
ACM Transactions on Computational Logic | 2023-07-18 | Paper |
Synchronizing words under \textsf{LTL} constraints
Information Processing Letters | 2023-06-05 | Paper |
Repairing real-time requirements
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Control strategies for off-line testing of timed systems
Formal Methods in System Design | 2023-05-08 | Paper |
Control Strategies for Off-Line Testing of Timed Systems
Model Checking Software | 2023-03-21 | Paper |
Non-blind strategies in timed network congestion games
(available as arXiv preprint) | 2023-01-18 | Paper |
Reachability games with relaxed energy constraints
Information and Computation | 2022-06-08 | Paper |
Reachability games with relaxed energy constraints
(available as arXiv preprint) | 2022-01-06 | Paper |
| Reachability games with relaxed energy constraints | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7447747 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447747 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Stochastic equilibria under imprecise deviations in terminal-reward concurrent games | 2021-12-07 | Paper |
Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
(available as arXiv preprint) | 2021-12-07 | Paper |
| scientific article; zbMATH DE number 7438567 (Why is no real title available?) | 2021-12-03 | Paper |
scientific article; zbMATH DE number 7438567 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-03 | Paper |
| Average-energy games | 2021-12-03 | Paper |
Average-energy games
(available as arXiv preprint) | 2021-12-03 | Paper |
| Nash equilibria in symmetric games with partial observation | 2021-06-22 | Paper |
| Satisfiability of \textsf{ATL} with strategy contexts | 2021-06-09 | Paper |
Satisfiability of \textsf{ATL} with strategy contexts
(available as arXiv preprint) | 2021-06-09 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
Optimal and robust controller synthesis using energy timed automata with uncertainty
Formal Aspects of Computing | 2021-03-04 | Paper |
Computing maximally-permissive strategies in acyclic timed automata
(available as arXiv preprint) | 2021-03-02 | Paper |
Active learning of timed automata with unobservable resets
(available as arXiv preprint) | 2021-03-02 | Paper |
Incremental methods for checking real-time consistency
(available as arXiv preprint) | 2021-03-02 | Paper |
Dependences in strategy logic
(available as arXiv preprint) | 2020-08-05 | Paper |
Dependences in strategy logic
Theory of Computing Systems | 2020-04-15 | Paper |
Timed temporal logics
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Language preservation problems in parametric timed automata
(available as arXiv preprint) | 2020-01-22 | Paper |
| Game-based Synthesis of Distributed Controllers for Sampled Switched Systems | 2019-10-24 | Paper |
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
(available as arXiv preprint) | 2019-09-16 | Paper |
Symbolic optimal reachability in weighted timed automata
Computer Aided Verification | 2019-05-03 | Paper |
Compositional synthesis of state-dependent switching control
Theoretical Computer Science | 2018-11-23 | Paper |
Model Checking Real-Time Systems
Handbook of Model Checking | 2018-07-20 | Paper |
Average-energy games
Acta Informatica | 2018-04-10 | Paper |
Distributed synthesis of state-dependent switching control
(available as arXiv preprint) | 2018-03-26 | Paper |
| On the expressiveness of QCTL | 2018-03-21 | Paper |
Timed-automata abstraction of switched dynamical systems using control invariants
Real-Time Systems | 2018-02-19 | Paper |
Reachability in networks of register protocols under stochastic schedulers
(available as arXiv preprint) | 2017-12-19 | Paper |
| On the determinization of timed systems | 2017-12-01 | Paper |
| On the Value Problem in Weighted Timed Games. | 2017-09-12 | Paper |
| Weighted Strategy Logic with Boolean Goals Over One-Counter Games. | 2017-07-13 | Paper |
Bounding Average-Energy Games
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Nash equilibria in symmetric graph games with partial observation
Information and Computation | 2017-05-12 | Paper |
Nash equilibria in symmetric graph games with partial observation
Information and Computation | 2017-05-12 | Paper |
Timed automata with observers under energy constraints
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
| Mixed Nash equilibria in concurrent terminal-reward games | 2017-04-25 | Paper |
| Synchronizing words for weighted and timed automata | 2017-04-25 | Paper |
Symmetry reduction in infinite games with finite branching
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Quantitative Verification of Weighted Kripke Structures
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Augmenting ATL with strategy contexts
Information and Computation | 2015-12-07 | Paper |
On the semantics of strategy logic
Information Processing Letters | 2015-12-01 | Paper |
Timed-automata abstraction of switched dynamical systems using control funnels
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Language preservation problems in parametric timed automata
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Pure Nash equilibria in concurrent deterministic games
Logical Methods in Computer Science | 2015-08-25 | Paper |
Quantified CTL: expressiveness and complexity
Logical Methods in Computer Science | 2015-01-15 | Paper |
Robust reachability in timed automata and games: a game-based approach
Theoretical Computer Science | 2014-12-12 | Paper |
Averaging in LTL
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Robustness in timed automata
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Shrinking timed automata
Information and Computation | 2014-02-11 | Paper |
Robust weighted timed automata and games
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Robust Controller Synthesis in Timed Automata
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
On termination and invariance for faulty channel machines
Formal Aspects of Computing | 2013-03-22 | Paper |
| On termination for faulty channel machines | 2013-03-19 | Paper |
On termination for faulty channel machines
(available as arXiv preprint) | 2013-03-19 | Paper |
Robust reachability in timed automata: a game-based approach
Automata, Languages, and Programming | 2012-11-01 | Paper |
Quantified CTL: expressiveness and model checking (extended abstract)
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Shrinking timed automata | 2012-08-31 | Paper |
| Nash equilibria in concurrent games with Büchi objectives | 2012-08-31 | Paper |
| ATL with strategy contexts: expressiveness and model checking | 2012-08-29 | Paper |
| Computing rational radical sums in uniform \(\mathrm{TC}^0\) | 2012-08-29 | Paper |
Concurrent games with ordered objectives
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Robust model-checking of timed automata via pumping in channel machines
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Timed Automata Can Always Be Made Implementable
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Computing equilibria in two-player timed games via turn-based finite games
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Nash equilibria for reachability objectives in multi-player timed games
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Model checking a path (preliminary report)
Lecture Notes in Computer Science | 2010-03-30 | Paper |
On the expressiveness of TPTL and MTL
Information and Computation | 2010-02-26 | Paper |
Improved undecidability results on weighted timed automata
Information Processing Letters | 2010-01-18 | Paper |
Mu-calculus path checking
Information Processing Letters | 2009-12-18 | Paper |
Measuring Permissivity in Finite Games
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5604077 (Why is no real title available?) | 2009-09-15 | Paper |
A PTIME-complete matching problem for SLP-compressed words
Information Processing Letters | 2009-07-21 | Paper |
Robust safety of timed automata
Formal Methods in System Design | 2009-07-06 | Paper |
ATL with Strategy Contexts and Bounded Memory
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Infinite Runs in Weighted Timed Automata with Energy Constraints
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Robust Model-Checking of Linear-Time Properties in Timed Automata
LATIN 2006: Theoretical Informatics | 2008-09-18 | Paper |
Timed Concurrent Game Structures
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
On Expressiveness and Complexity in Real-Time Model Checking
Automata, Languages and Programming | 2008-08-19 | Paper |
Model Checking One-clock Priced Timed Automata
Logical Methods in Computer Science | 2008-08-07 | Paper |
On the Expressiveness and Complexity of ATL
Logical Methods in Computer Science | 2008-08-07 | Paper |
Model-Checking Timed ATL for Durational Concurrent Game Structures
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Costs Are Expensive!
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Almost Optimal Strategies in One Clock Priced Timed Games
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Robust Analysis of Timed Automata Via Channel Machines
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Model-Checking One-Clock Priced Timed Automata
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
On the Expressiveness and Complexity of ATL
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Model checking restricted sets of timed paths
Theoretical Computer Science | 2006-09-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 |
Past is for free: On the complexity of verifying linear temporal properties with past
Acta Informatica | 2004-12-13 | Paper |
| scientific article; zbMATH DE number 2087436 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1705163 (Why is no real title available?) | 2002-02-14 | Paper |
