Pages that link to "Item:Q5428862"
From MaRDI portal
The following pages link to Minimum-Time Reachability in Timed Games (Q5428862):
Displaying 9 items.
- Expected reachability-time games (Q278757) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
