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

Other available formats:

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