The following pages link to Robust safety of timed automata (Q1028728):
Displaying 20 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← 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)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- (Q5101345) (← links)
- (Q5208876) (← links)
- Testing membership for timed automata (Q6090987) (← links)
- Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)
