Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia. Counterexample-Guided Synthesis of Perception Models and Control. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021. pages 3447-3454, IEEE, 2021. [doi]
Abstract is missing.