Pages that link to "Item:Q3172846"
From MaRDI portal
The following pages link to Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846):
Displayed 6 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)