The following pages link to (Q4736580):
Displaying 13 items.
- 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)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Robust parametric reachability for timed automata (Q846009) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Robust Analysis of Timed Automata Via Channel Machines (Q5458357) (← links)
- Time-optimal control for discrete-time hybrid automata (Q5707981) (← links)