Differential Game Logic
From MaRDI portal
Publication:5277902
DOI10.1145/2817824zbMath1367.68201arXiv1408.1980OpenAlexW3125808851MaRDI QIDQ5277902
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.1980
Games involving topology, set theory, or logic (91A44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Constructive Game Logic, A Uniform Substitution Calculus for Differential Dynamic Logic, KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems, Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games, A complete uniform substitution calculus for differential dynamic logic, Uniform substitution at one Fell swoop, Constructive hybrid games
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Specifications for decidable hybrid games
- Noncooperative differential games
- The algorithmic analysis of hybrid systems
- Results on the propositional \(\mu\)-calculus
- Strategy logic
- Differential dynamic logic for hybrid systems
- The calculus of constructions
- Elementary induction on abstract structures
- Borel determinacy
- Program invariants as fixedpoints
- Topology and descriptive set theory
- Game logic -- an overview
- Game logic is strong enough for parity games
- Backward induction and common knowledge of rationality
- McNaughton games and extracting strategies for concurrent programs
- Complete axiomatization and decidability of alternating-time temporal logic
- Zero-sum differential games involving hybrid controls
- The variable hierarchy of the \(\mu\)-calculus is strict
- Playing Hybrid Games with KeYmaera
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
- Logics of Dynamical Systems
- The Complete Proof Theory of Hybrid Systems
- An application of games to the completeness problem for formalized theories
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- A Uniform Substitution Calculus for Differential Dynamic Logic
- Alternating-time temporal logic
- On the Expressiveness and Complexity of ATL
- Grammar Analysis and Parsing by Abstract Interpretation
- Game Quantification Patterns
- On the Completeness of Dynamic Logic
- A programming language for the inductive sets, and applications
- Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem
- Axiomatic Definitions of Programming Languages
- Soundness and Completeness of an Axiom System for Program Verification
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- A unified framework for hybrid control: model and optimal control theory
- The Structure of Differential Invariants and Differential Cut Elimination
- Logical Analysis of Hybrid Systems
- O-Minimal Hybrid Reachability Games
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- On the Reachability Problem for Uncertain Hybrid Systems
- Differential Games Through Viability Theory: Old and Recent Results
- Higher set theory and mathematical practice
- The Game Quantifier
- A Functional calculus of first order based on strict implication
- Timed Parity Games: Complexity and Robustness