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

Video: 
Contributor(s): 
Jessy Grizzle
Sponsor(s): 
National Science Foundation
University of Michigan