Game Proofs & Separations

  • André Platzer


The primary purpose of this chapter is to compare the proof principles of hybrid games versus those of hybrid systems. Having established reasoning principles for hybrid games in the previous chapter, our attention shifts to contrasting and identifying what the actual difference really is. Despite being rooted in a different semantics, hybrid game axioms are surprisingly close to those for hybrid systems. But there are also some major soundness-critical discrepancies to notice. These findings are important for correctly reasoning about hybrid games, but also shine a complementary light on reasoning principles for hybrid systems by highlighting which ones crucially depend on the absence of adversarial dynamics.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • André Platzer
    • 1
  1. 1.Computer Science DepartmentCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations