Falsification of temporal properties of hybrid systems using the cross-entropy method

Author(s):  
Sriram Sankaranarayanan ◽  
Georgios Fainekos
Sign in / Sign up

Export Citation Format

Share Document