TY  - RPRT
TI  - Conservative Perception Models for Probabilistic Verification
AU  - Matthew Cleaveland
AU  - Pengyuan Lu
AU  - Oleg Sokolsky
AU  - Insup Lee
AU  - Ivan Ruchkin
PY  - 2025
UR  - https://arxiv.org/abs/2503.18077
ID  - 2503.18077
ER  -