29 citations · 70 across the 7 of their papers we have counts for
1 paper · 1 filter
Stefan Mitsch, André Platzer
Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physica…