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

Full Text:

Pdf

Buy this Article

Authors:	Truong Nghiem	University of Pennsylvania, Philadelphia, PA, USA
	Sriram Sankaranarayanan	University of Colorado, Boulder, CO, USA
	Georgios Fainekos	Arizona State University, Tempe, AZ, USA
	Franjo Ivancić	NEC Laboratories America, Princeton, NJ, USA
	Aarti Gupta	NEC Laboratories America, Princeton, NJ, USA
	George J. Pappas	University of Pennsylvania, Philadelphia, PA, USA

	2010 Article
Bibliometrics
· Downloads (6 Weeks): 4 · Downloads (12 Months): 37 · Downloads (cumulative): 116 · Citation Count: 5

Published in:

	· Proceeding
	HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
	Pages 211-220 ACM New York, NY, USA ©2010 table of contents ISBN: 978-1-60558-955-8 doi>10.1145/1755952.1755983

Tools and Resources