| Publication | Date of Publication | Type |
|---|
How to play optimally for regular objectives?
| 2024-11-14 | Paper |
The true colors of memory: a tour of chromatic-memory strategies in zero-sum games on graphs (invited talk)
| 2024-09-12 | Paper |
Playing (almost-)optimally in concurrent Büchi and co-Büchi games
| 2024-09-12 | Paper |
Half-positional objectives recognized by deterministic Büchi automata
Logical Methods in Computer Science | 2024-09-04 | Paper |
Half-positional objectives recognized by deterministic Büchi automata
| 2024-08-13 | Paper |
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
TheoretiCS | 2024-07-03 | Paper |
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
| 2024-04-23 | Paper |
Optimal strategies in concurrent reachability games
| 2024-04-10 | Paper |
Finite-memory strategies in two-player infinite games
| 2024-04-10 | Paper |
scientific article; zbMATH DE number 7799619 (Why is no real title available?)
| 2024-02-05 | Paper |
Arena-independent finite-memory determinacy in stochastic games
Logical Methods in Computer Science | 2024-01-16 | Paper |
Subgame optimal strategies in finite concurrent games with prefix-independent objectives
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Arena-independent finite-memory determinacy in stochastic games
| 2023-08-21 | Paper |
Reasoning about Quality and Fuzziness of Strategic Behaviors
ACM Transactions on Computational Logic | 2023-07-18 | Paper |
scientific article; zbMATH DE number 7649940 (Why is no real title available?)
| 2023-02-03 | Paper |
scientific article; zbMATH DE number 7650328 (Why is no real title available?)
| 2023-02-03 | Paper |
Zone-based verification of timed automata: extrapolations, simulations and what next?
| 2023-01-18 | Paper |
Decisiveness of stochastic systems and its application to hybrid models
Information and Computation | 2022-12-08 | Paper |
Synthesis in presence of dynamic links
Information and Computation | 2022-12-08 | Paper |
scientific article; zbMATH DE number 7561653 (Why is no real title available?)
| 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559480 (Why is no real title available?)
| 2022-07-18 | Paper |
CONCUR Test-of-time award 2020 announcement
| 2022-07-18 | Paper |
scientific article; zbMATH DE number 7533351 (Why is no real title available?)
| 2022-05-28 | Paper |
Games where you can play optimally with arena-independent finite memory
| 2022-02-09 | Paper |
scientific article; zbMATH DE number 7455739 (Why is no real title available?)
| 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455746 (Why is no real title available?)
| 2022-01-11 | Paper |
scientific article; zbMATH DE number 7447747 (Why is no real title available?)
| 2021-12-17 | Paper |
Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
| 2021-12-07 | Paper |
Average-energy games
| 2021-12-03 | Paper |
Timed automata
| 2021-11-12 | Paper |
Nash equilibria in symmetric games with partial observation
| 2021-06-22 | Paper |
Optimal and robust controller synthesis. Using energy timed automata with uncertainty
| 2021-05-04 | Paper |
Reconfiguration and message losses in parameterized broadcast networks
| 2021-03-26 | Paper |
Optimal and robust controller synthesis using energy timed automata with uncertainty
Formal Aspects of Computing | 2021-03-04 | Paper |
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
| 2020-09-28 | Paper |
Dependences in strategy logic
| 2020-08-05 | Paper |
A Note on Game Theory and Verification
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Unbounded product-form Petri nets
| 2020-05-27 | 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 |
Identifiers in registers. Describing network algorithms with logic
| 2020-01-28 | Paper |
Decisiveness of Stochastic Systems and its Application to Hybrid Models
| 2020-01-13 | Paper |
Symbolic optimal reachability in weighted timed automata
Computer Aided Verification | 2019-05-03 | Paper |
Model Checking Real-Time Systems
Handbook of Model Checking | 2018-07-20 | Paper |
Games on graphs with a public signal monitoring
| 2018-07-17 | Paper |
When are stochastic transition systems tameable?
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Average-energy games
Acta Informatica | 2018-04-10 | Paper |
Stochastic timed games revisited
| 2018-03-21 | Paper |
Timed-automata abstraction of switched dynamical systems using control invariants
Real-Time Systems | 2018-02-19 | Paper |
Analysing decisive stochastic processes
| 2017-12-19 | Paper |
Reachability in networks of register protocols under stochastic schedulers
| 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 |
Dynamic complexity of the Dyck reachability
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 |
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 |
Compositional design of stochastic timed automata
Computer Science – Theory and Applications | 2016-07-25 | Paper |
Quantitative Verification of Weighted Kripke Structures
Automated Technology for Verification and Analysis | 2015-12-17 | 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 |
Pure Nash equilibria in concurrent deterministic games
Logical Methods in Computer Science | 2015-08-25 | Paper |
Model-checking timed temporal logics
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Stochastic timed automata
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 |
Weighted timed automata: model-checking and games
| 2013-10-10 | Paper |
Synthesis of optimal strategies using \textsc{HyTech}
| 2013-09-20 | 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 |
Robust reachability in timed automata: a game-based approach
Automata, Languages, and Programming | 2012-11-01 | Paper |
Shrinking timed automata
| 2012-08-31 | Paper |
Nash equilibria in concurrent games with Büchi objectives
| 2012-08-31 | 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 |
Weighted o-minimal hybrid systems
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Emptiness and universality problems in timed automata with positive frequency
Automata, Languages and Programming | 2011-07-07 | Paper |
Timed modal logics for real-time systems. Specification, verification and control
Journal of Logic, Language and Information | 2011-06-30 | 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 |
Timed control with partial observability.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
O-minimal hybrid reachability games
Logical Methods in Computer Science | 2010-03-15 | 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 |
Measuring Permissivity in Finite Games
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
scientific article; zbMATH DE number 5605088 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5587265 (Why is no real title available?)
| 2009-07-27 | Paper |
When Are Timed Automata Determinizable?
Automata, Languages and Programming | 2009-07-14 | Paper |
Reachability in Stochastic Timed Games
Automata, Languages and Programming | 2009-07-14 | Paper |
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae | 2009-06-30 | Paper |
Infinite Runs in Weighted Timed Automata with Energy Constraints
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
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 Unfoldings for Networks of Timed Automata
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Timed Temporal Logics for Abstracting Transient States
Automated Technology for Verification and Analysis | 2008-09-04 | 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 |
Costs Are Expensive!
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Probabilistic and Topological Semantics for Timed Automata
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | 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 |
Optimal infinite scheduling for multi-priced timed automata
Formal Methods in System Design | 2008-03-11 | Paper |
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
Information and Computation | 2008-03-11 | Paper |
scientific article; zbMATH DE number 5228180 (Why is no real title available?)
| 2008-01-18 | Paper |
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Logical Foundations of Computer Science | 2008-01-04 | Paper |
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design | 2007-10-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
Automata, Languages and Programming | 2007-09-11 | Paper |
Model-Checking One-Clock Priced Timed Automata
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Controller Synthesis for MTL Specifications
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
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 |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
Updatable timed automata
Theoretical Computer Science | 2004-11-12 | Paper |
Forward analysis of updatable timed automata
Formal Methods in System Design | 2004-09-09 | Paper |
scientific article; zbMATH DE number 1962849 (Why is no real title available?)
| 2003-08-11 | Paper |
scientific article; zbMATH DE number 1956585 (Why is no real title available?)
| 2003-07-30 | Paper |
The power of reachability testing for timed automata
Theoretical Computer Science | 2003-07-30 | Paper |
An algebraic approach to data languages and timed languages
Information and Computation | 2003-07-29 | Paper |
scientific article; zbMATH DE number 1916671 (Why is no real title available?)
| 2003-05-26 | Paper |
scientific article; zbMATH DE number 1863168 (Why is no real title available?)
| 2003-02-03 | Paper |
A logical characterization of data languages.
Information Processing Letters | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1759410 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1670795 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1405646 (Why is no real title available?)
| 2000-02-23 | Paper |
