29 citations · 70 across the 8 of their papers we have counts for
1 paper · 1 filter
Stefan Mitsch
Hybrid systems theorem proving provides strong correctness guarantees about the interacting discrete and continuous dynamics of cyber-physical systems. The trustworthiness of proof…