Pages that link to "Item:Q5897954"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897954):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Discounting and averaging in games across time scales (Q2909220) (← links)
- Average-time games (Q3165971) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)