Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Home
Program Agenda
5-Minute Presentations
Poster Submissions
CFP Submissions
Workshop Attendees
Final Registrants List
Final Presenters' Bios
Files
CPS-VO
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Computing Probabilistic Guarantees of Safety
View
Properties
Submitted by moishi on Fri, 05/16/2014 - 4:25pm. Contributors:
Kendra Lesser
Meeko Oishi
License:
Creative Commons 2.5
Other available formats:
Computing Probabilistic Guarantees of Safety
Switch to normal viewer
Switch to experimental viewer
PDF document
1.01 MB
73 downloads
Download
PDF version
Printer-friendly version
Validation and Verification
CPS Technologies
Foundations
computational methods
formal verification
imperfect information
Stochastic reachability
University of New Mexico
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters