Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems
Conference Proceeding
Overview
publication date
- April 12, 2010
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Nghiem T; Sankaranarayanan S; Fainekos G; Ivancic F; Gupta A; Pappas GJ
author count
- 6
citation count
- 76
presented at event
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-60558-955-8
Additional Document Info
start page
- 211
end page
- 220