5 citations · 8 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 5 cited
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…
cs.LO2024★ 2 cited
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…