Automata-Theoretic Decision of Timed Games
No abstract available.
DOI 10.1007/3-540-47813-2_7
Related papers
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning TACAS 2025
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- Lattice-theoretic progress measures and coalgebraic model checking POPL 2016
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) CAV 1994
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013
- On Satisficing in Quantitative Games TACAS 2021