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

  • 1239037
  • 1239055
  • 1239085
  • 1239143
  • University of Michigan
  • CalTech
  • Carnegie Mellon University
  • University of California at Los Angeles
  • Presentation
  • Session 6: CPS Frontiers Projects Panel
Submitted by Paulo Tabuada on