Safe Autonomous Systems via Formally Correct Perception Submitted by Jason Gigax on Tue, 01/10/2023 - 13:49 2211146 2022 CPS PI Meeting 2022