Constructive hybrid games

DOI10.1007/978-3-030-51074-9_26MaRDI QIDQ2096468zbMATH OpenOpenAlexFDO

Authors Rose Bohrer, André Platzer

Publication date 9 November 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2002.02536

zbMATH Keywords

constructive logicdependent typesgame logichybrid games

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Constructive game logic
• Differential Hybrid Games
• Games with synergistic preferences
• scientific article; zbMATH DE number 795157
• First steps in constructive game theory
• scientific article; zbMATH DE number 1361131
• On Noncooperative Games, Minimax Theorems, and Equilibrium Problems
• A universal construction generating potential games
• Integration of games and hypergames generated from a class of games
• Games and dynamic games

Cites work

• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
• A fragment of intuitionistic dynamic logic
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A hybrid, dynamic logic for hybrid-dynamic information flow
• Alternating-time temporal logic
• An axiomatic basis for computer programming
• Constructive game logic
• Constructive modal logics. I
• Differential dynamic logic for hybrid systems
• Differential equation invariance axiomatization
• Differential game logic
• Differential Hybrid Games
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Dynamic logics of evidence-based beliefs
• Full abstraction for PCF
• Games in dynamic-epistemic logic
• Geometric theories for the algebra of real numbers
• scientific article; zbMATH DE number 65751 (Why is no real title available?)
• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1794387 (Why is no real title available?)
• scientific article; zbMATH DE number 1444367 (Why is no real title available?)
• scientific article; zbMATH DE number 3204219 (Why is no real title available?)
• scientific article; zbMATH DE number 6287623 (Why is no real title available?)
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• Inductive families
• Logical foundations of cyber-physical systems
• Mathematical Knowledge Management
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Playing Hybrid Games with KeYmaera
• Realizability: a historical essay
• Strategy Logic
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• Tableaux for constructive concurrent dynamic logic
• Techniques of constructive analysis
• The calculus of constructions
• The Picard Algorithm for Ordinary Differential Equations in Coq
• Toward a theory of play: a logical perspective on games and interaction
• Uniform substitution for differential game logic
• Well-foundedness in realizability

Cited in

(3)

• Playing Hybrid Games with KeYmaera
• A dynamic logic with branching modalities
• Refining constructive hybrid games

Describes a project that uses

Uses Software

• Coq
• KeYmaera
• C-CoRN
• TuLiP
• LTLMoP
• ModelPlex

This page was built for publication: Constructive hybrid games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2096468)