Differential Hybrid Games

DOI10.1145/3091123zbMath1407.91056arXiv1507.04943OpenAlexW3125479578MaRDI QIDQ5369242

André Platzer

Publication date: 16 October 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

differential gamespartial differential equationsviscosity solutionsreal algebraic geometrygame logichybrid gamesdifferential game invariants

Mathematics Subject Classification ID

Differential games (aspects of game theory) (91A23) Other nonclassical logic (03B60)

Related Items (8)

Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Automatic pre- and postconditions for partial differential equations ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ Uniform substitution at one Fell swoop ⋮ On the Coalgebra of Partial Differential Equations ⋮ Constructive hybrid games

This page was built for publication: Differential Hybrid Games