4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…