17 citations · 54 across the 12 of their papers we have counts for
1 paper · 1 filter
Fernando Alegre, Eric Feron, Santosh Pande
We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our…