A new preprint is out on low-dimensional symbolic models of deep visual perception that enable conservative (i.e., non-overconfident) safety analysis.
Citation:
- Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin.
Conservative Perception Models for Probabilistic Model Checking [Arxiv].
Preprint, 2025.