High-Assurance Provably Correct Controller Synthesis of Aerospace Cyber-Physical Systems Using Bayesian Model Checking Download pdf Tags: Position Paper Publications 2014 National Workshop on Transportation CPS 2014 Modeling Foundations CPS Technologies Avionics Transportation Aerospace Defense model checking High Assurance CPS Aerospace CFP Paper Submissions CFP Submissions Academia License: CC-2.5 Submitted by Sumit Jha on Thu, 02/20/2014 - 10:06