Pages that link to "Item:Q5428863"
From MaRDI portal
The following pages link to Reachability-Time Games on Timed Automata (Q5428863):
Displaying 23 items.
- Expected reachability-time games (Q278757) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- On subgame perfect equilibria in turn-based reachability timed games (Q1996016) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- Stochastic Real-Time Games with Qualitative Timed Automata Objectives (Q3584931) (← links)
- (Q4636594) (← links)
- (Q4736990) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5094137) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- Timed Parity Games: Complexity and Robustness (Q5895527) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897475) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
- Parity games on temporal graphs (Q6629452) (← links)
