S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems
Conference Proceeding
Overview
publication date
- March 26, 2011
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Annapureddy Y; Liu C; Fainekos G; Sankaranarayanan S
Full Editor List
- Abdulla PA; Leino KRM
author count
- 4
citation count
- 253
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
International Standard Book Number (ISBN) 13
- 978-3-642-19834-2
Additional Document Info
start page
- 254
end page
- +
volume
- 6605