The following pages link to Robust safety of timed automata (Q1028728):
Displayed 10 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)