Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method
Conference Proceeding
Overview
publication date
- April 17, 2012
Date in CU Experts
- May 28, 2014 6:48 AM
Full Author List
- Sankaranarayanan S; Fainekos G
author count
- 2
citation count
- 62
presented at event
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-4503-1220-2
Additional Document Info
start page
- 125
end page
- 134