Probably Approximate Safety Verification of Hybrid Dynamical Systems.

Bai Xue, Martin Frnzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran

Browse the full ICFEM paper archive.