Counterexample-Guided Synthesis of Perception Models and Control Download pdf Tags: control synthesis Perception Modeling Perception Error formal methods 1545126 2019 CPS PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Sanjit Seshia on Thu, 01/16/2020 - 15:02