Stochastic Reachability for Safety Verification of Cyber-Physical Systems

  • computational methods
  • formal verification
  • imperfect information
  • Stochastic reachability
  • University of New Mexico
  • CPS Domains
  • CPS Technologies
  • Foundations
  • Modeling
  • Validation and Verification
  • Probabilistic and Statistical Verification
  • 2014
  • 2014 CPS-ECP
  • Academia
  • CFP Paper Submissions
  • CFP Submissions
Submitted by Anonymous on