Statistical Model Checking of High-Dimensional Cyber-Controlled Systems Download pdf Tags: University of Illinois at Urbana-Champaign Education Foundations Modeling Simulation Validation and Verification 2014 National CPS PI Meeting 2014 Presentation Academia Session 8 License: CC-2.5 Submitted by Geir Dullerud on Fri, 11/07/2014 - 12:50