98 citations · 647 across the 44 of their papers we have counts for
5 papers · 2 filters
Deductive Stability Proofs for Ordinary Differential Equations
Yong Kiam Tan, André Platzer
Stability is required for real world controlled systems as it ensures that those systems can tolerate small, real world perturbations around their desired operating states. This pa…
An Axiomatic Approach to Existence and Liveness for Differential Equations
Yong Kiam Tan, André Platzer
This article presents an axiomatic approach for deductive verification of existence and liveness for ordinary differential equations (ODEs) with differential dynamic logic (dL). Th…
Refining Constructive Hybrid Games
Rose Bohrer, André Platzer
We extend the constructive differential game logic (CdGL) of hybrid games with a refinement connective that relates two hybrid games. We use this connective to prove a folk theorem…
Constructive Hybrid Games
Rose Bohrer, André Platzer
Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce construct…
Constructive Game Logic
Rose Bohrer, André Platzer
Game Logic is an excellent setting to study proofs-about-programs via the interpretation of those proofs as programs, because constructive proofs for games correspond to effective…