most citedBounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)

3 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2015★ 1 cited

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)

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,…