Approximate Abstraction for Verification of Continuous and Hybrid Systems
https://www.powershow.com/view1/1e6e47-ZDc1Z/Approximate_Abstraction_for_Verification_of_Continuous_and_Hybrid_Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
