Visible to the public Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Submitted by tabuada on Wed, 11/15/2017 - 2:55am. Contributors:
License: 
Creative Commons 2.5

Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems