The following pages link to Shrinking timed automata (Q2911615):
Displaying 6 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- (Q5101345) (← links)
- (Q5208876) (← links)