98 citations · 647 across the 44 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 4 cited
Forward Invariant Cuts to Simplify Proofs of Safety
Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh +2
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- t…
cs.LO2015★ 25 cited
Differential Hybrid Games
André Platzer
This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The di…
cs.LO2015★ 28 cited
A Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
This paper introduces a new proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a formula for a predica…