Visible to the public High-Assurance Provably Correct Controller Synthesis of Aerospace Cyber-Physical Systems Using Bayesian Model Checking

Submitted by sumitjha on Thu, 02/20/2014 - 12:06pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

High-Assurance Provably Correct Controller Synthesis of Aerospace Cyber-Physical Systems Using Bayesian Model Checking
Switch to experimental viewer