94 citations · 449 across the 53 of their papers we have counts for
Showing 2015Show all
2 papers · 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,…
eess.SY2015★ 2 cited
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
Zhenqi Huang, Yu Wang, Sayan Mitra +2
We present a controller synthesis algorithm for reach-avoid problems for piecewise linear discrete-time systems. Our algorithm relies on SMT solvers and in this paper we focus on p…