Sciweavers

Share
HYBRID
2010
Springer

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

9 years 7 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2010
Where HYBRID
Authors Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
Comments (0)
books