5 citations · 8 across the 6 of their papers we have counts for
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
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…
cs.LO2025
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…