29 citations · 29 across the 1 of their papers we have counts for
1 paper
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…