Language-Based Abstraction Refinement for Hybrid System Verification.

Felix Klaedtke, Stefan Ratschan, Zhikun She

Browse the full VMCAI paper archive.