Visible to the public Sound Invariant Generation for Continuous and Hybrid SystemsConflict Detection Enabled

Submitted by Andre Platzer on Tue, 01/09/2018 - 4:04pm
Video: 
Contributor(s): 
André Platzer
Nathan Fulton
Andrew Sogokon
Sponsor(s): 
National Science Foundation