5 citations · 8 across the 6 of their papers we have counts for
5 papers · 1 filter
Three-player Differential Game Logic
Julia Butte, André Platzer
This paper introduces the three-player differential game logic dGL3, which enables the verification of hybrid games of discrete and differential equation dynamics with three player…
Semi-Competitive Differential Game Logic
Julia Butte, André Platzer
This paper introduces semi-competitive differential game logic dGLsc, which enables verification of safety-critical applications that involve interactions between two agents. In dG…
Differential Equations as Fixpoints and Games
Noah Abou El Wafa, André Platzer
Games and fixpoints are unified by proving that first-order game logic GL and the first-order modal mu-calculus L_mu are proved to be equiexpressive and equivalent, thereby fully a…
Uniform Substitution for Differential Refinement Logic
Enguerrand Prebet, André Platzer
This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneousl…
Complete Game Logic with Sabotage
Noah Abou El Wafa, André Platzer
Game Logic with sabotage () is introduced as a simple and natural extension of Parikh's game logic with a single additional primitive, which allows players to lay tr…