Statistical Verification of Dynamical Systems Using Set Oriented Methods

Submitted by Geir Dullerud on
  • Markov chains
  • Probabilistic Model Checking
  • University of Illinois at Urbana-Champaign
  • Foundations
  • Modeling
  • Validation and Verification
  • 2014
  • National CPS PI Meeting 2014
  • Academia