Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Download pdf Tags: 1239037 1239055 1239085 1239143 University of Michigan University of California at Los Angeles Carnegie Mellon University CalTech Session 6: CPS Frontiers Projects Panel License: CC-2.5 Submitted by Paulo Tabuada on Wed, 11/15/2017 - 00:55