29 citations · 70 across the 7 of their papers we have counts for
1 paper · 1 filter
Stefan Mitsch, André Platzer
Hybrid systems verification is quite important for developing correct controllers for physical systems, but is also challenging. Verification engineers, thus, need to be empowered…