Pages that link to "Item:Q3000612"
From MaRDI portal
The following pages link to Quantitative Robustness Analysis of Flat Timed Automata (Q3000612):
Displayed 7 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← 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)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)