Playing Hybrid Games with KeYmaera

DOI10.1007/978-3-642-31365-3_34zbMath1358.68261OpenAlexW129487540MaRDI QIDQ2908514

Jan-David Quesel, André Platzer

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_34

zbMATH Keywords

theorem provingsequent calculushybrid gamesdifferential dynamic logicfactory automationlogics for hybrid systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence for robotics (68T40)

Related Items

Differential Game Logic, Uniform substitution at one Fell swoop, Constructive hybrid games

Uses Software

• KeYmaera