23 citations · 53 across the 5 of their papers we have counts for
1 paper · 1 filter
Oded Maler
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For o…