Rectangular hybrid games
From MaRDI portal
Recommendations
Cited in
(26)- Finite automata on timed \(\omega\)-trees
- Tracking smooth trajectories in linear hybrid systems
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Discrete-time control for rectangular hybrid automata
- Constructive hybrid games
- Cancer hybrid automata: model, beliefs and therapy
- Playing Hybrid Games with KeYmaera
- Model checking the quantitative \(\mu \)-calculus on linear hybrid systems
- Crossing the Bridge between Similar Games
- Symbolic model checking in non-Boolean domains
- Automated Reasoning for Hybrid Systems — Two Case Studies —
- STORMED Hybrid Games
- Automata-theoretic decision of timed games
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Discrete-time control for rectangular hybrid automata
- O-minimal hybrid reachability games
- Differential game logic
- Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games
- Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
- Specifications for decidable hybrid games
- Two-player zero-sum hybrid games
- Inaproximability in weighted timed games
- Semi-competitive differential game logic
- Trigger-based discretization of hybrid games for autonomous cyber-physical systems
- The value problem for weighted timed games with two clocks is undecidable
This page was built for publication: Rectangular hybrid games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4270068)
