Constraints for Continuous Reachability in the Verification of Hybrid Systems.

Stefan Ratschan, Zhikun She

Browse the full AISC paper archive.