Formal safety verification of unknown continuous-time systems

Author(s):  
Abolfazl Lavaei ◽  
Ameneh Nejati ◽  
Pushpak Jagtap ◽  
Majid Zamani
Sign in / Sign up

Export Citation Format

Share Document