Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation
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

Visible to the public Computing Probabilistic Guarantees of Safety

  • View
  • Properties
Submitted by moishi on Fri, 05/16/2014 - 5:25pm. Contributors:
  • Kendra Lesser
  • Meeko Oishi
License: 
Creative Commons 2.5

Other available formats:

Computing Probabilistic Guarantees of Safety
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 1.01 MB
  • 74 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

Terms of Use  |  ©2023. CPS-VO