98 citations · 647 across the 44 of their papers we have counts for
1 paper · 2 filters
Andre Platzer
The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equ…