The following pages link to UPPAAL TIGA (Q24836):
Displaying 7 items.
- Expected reachability-time games (Q278757) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
