12 citations · 16 across the 5 of their papers we have counts for
1 paper · 1 filter
J. Tanner Slagel, Mariano Moscato, Lauren White +3
Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors…