Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
https://www.powershow.com/view/bf2f3-NmJhM/Reachability_for_Linear_Hybrid_Automata_Using_Iterative_Relaxation_Abstraction_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
