Pages that link to "Item:Q2842132"
From MaRDI portal
The following pages link to Robust Controller Synthesis in Timed Automata (Q2842132):
Displaying 5 items.
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Computing maximally-permissive strategies in acyclic timed automata (Q1996019) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Timed Symbolic Dynamics (Q2945581) (← links)
