88 citations · 339 across the 67 of their papers we have counts for
1 paper · 2 filters
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid systems,…