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