Constructive hybrid games
From MaRDI portal
Publication:2096468
DOI10.1007/978-3-030-51074-9_26OpenAlexW3101170874MaRDI QIDQ2096468
Publication date: 9 November 2022
Full work available at URL: https://arxiv.org/abs/2002.02536
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic logics of evidence-based beliefs
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Constructive modal logics. I
- Well-foundedness in realizability
- Techniques of constructive analysis
- Differential dynamic logic for hybrid systems
- The calculus of constructions
- Inductive families
- Uniform substitution for differential game logic
- Full abstraction for PCF
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
- Toward a theory of play: a logical perspective on games and interaction
- Tableaux for constructive concurrent dynamic logic
- Playing Hybrid Games with KeYmaera
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Games in Dynamic-Epistemic Logic
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Alternating-time temporal logic
- Strategy Logic
- Théories géométriques pour l’algèbre des nombres réels
- Logical Foundations of Cyber-Physical Systems
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Constructive Game Logic
- Differential Equation Invariance Axiomatization
- A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
- Differential Game Logic
- Mathematical Knowledge Management
- The Picard Algorithm for Ordinary Differential Equations in Coq
- Differential Hybrid Games
- An axiomatic basis for computer programming
- Realizability: a historical essay
This page was built for publication: Constructive hybrid games
