16 citations · 29 across the 8 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020★ 2 cited
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…
cs.LO2020★ 4 cited
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…
cs.LO2020★ 4 cited
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…