40 citations · 86 across the 4 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…