Statistical Model Checking of High-Dimensional Cyber-Controlled Systems

  • University of Illinois at Urbana-Champaign
  • Education
  • Foundations
  • Modeling
  • Simulation
  • Validation and Verification
  • 2014
  • National CPS PI Meeting 2014
  • Presentation
  • Academia
  • Session 8
Submitted by Geir Dullerud on