The following pages link to (Q4270068):
Displaying 15 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Tracking smooth trajectories in linear hybrid systems (Q1680510) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Cancer hybrid automata: model, beliefs and therapy (Q2453217) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Differential Game Logic (Q5277902) (← links)
