scientific article; zbMATH DE number 1361131
From MaRDI portal
Publication:4270068
zbMath0937.91005MaRDI QIDQ4270068
Benjamin Horowitz, Rupak Majumdar, Thomas A. Henzinger
Publication date: 14 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Control/observation systems involving computers (process control, etc.) (93C83)
Related Items (16)
Differential Game Logic ⋮ Crossing the Bridge between Similar Games ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Automata-theoretic decision of timed games ⋮ Tracking smooth trajectories in linear hybrid systems ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Automatic synthesis of switching controllers for linear hybrid systems: safety control ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Finite automata on timed \(\omega\)-trees ⋮ Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games ⋮ Specifications for decidable hybrid games ⋮ Cancer hybrid automata: model, beliefs and therapy ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems ⋮ STORMED Hybrid Games ⋮ Constructive hybrid games
This page was built for publication:
