Session details: Reachability Computation

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16 ◽

10.1145/3261117 ◽

2016 ◽

Author(s):

Alex Donze

Download Full-text