Automata-theoretic decision of timed games
From MaRDI portal
Publication:386611
DOI10.1016/j.tcs.2013.08.021zbMath1301.68177OpenAlexW2147098470MaRDI QIDQ386611
Marco Faella, Salvatore La Torre, Aniello Murano
Publication date: 10 December 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.08.021
2-person games (91A05) Games involving graphs (91A43) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Optimal paths in weighted timed automata
- Model-checking in dense real-time
- Pushdown module checking
- Strategy logic
- Decision problems for lower/upper bound parametric timed automata
- Using branching time temporal logic to synthesize synchronization skeletons
- A theory of timed automata
- Reasoning about infinite computations
- Finite automata on timed \(\omega\)-trees
- Timed tree automata with an application to temporal logic.
- Module checking
- Pushdown module checking with imperfect information
- Modular strategies for recursive game graphs
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
- Robust Reachability in Timed Automata: A Game-Based Approach
- Alternating-time temporal logic
- Enriched MU-Calculi Module Checking
- Parametric temporal logic for “model measuring”
- Parametric Metric Interval Temporal Logic
- On the synthesis of strategies in infinite games
- O-Minimal Hybrid Reachability Games
- Deterministic generators and games for Ltl fragments
- Reachability-Time Games on Timed Automata
- Program Complexity in Hierarchical Module Checking
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Formal Modeling and Analysis of Timed Systems
- Computer Aided Verification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Automata-theoretic decision of timed games
