Pages that link to "Item:Q3167005"
From MaRDI portal
The following pages link to Robust Reachability in Timed Automata: A Game-Based Approach (Q3167005):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Testing membership for timed automata (Q6090987) (← links)