Analyzing neighborhoods of falsifying traces in cyber-physical systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 18, 2017
- Source ID
- 10.1145/3055004.3055029
Entities
People
- Ashutosh Trivedi
- Ram Das Diwakaran
- Sriram Sankaranarayanan
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- Toyota Motor North America
- University of Colorado Boulder