The following pages link to (Q5101345):
Displaying 7 items.
- Fault localization of timed automata using maximum satisfiability (Q2026559) (← links)
- Robust Model-Checking of Linear-Time Properties in Timed Automata (Q3525763) (← links)
- Analyzing Timed Systems Using Tree Automata (Q4608679) (← links)
- (Q4953389) (← links)
- Modelling and Verification of Timed Robotic Controllers (Q5045474) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464753) (← links)
- Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)