Conservative Perception Models for Probabilistic Verification

Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky +2

Verifying the behaviors of autonomous systems with learned perception components is a challenging problem due to the complexity of the perception and the uncertainty of operating e…