TY - RPRT TI - Stochastic Control Barrier Functions under State Estimation: From Euclidean Space to Lie Groups AU - Ruoyu Lin AU - Magnus Egerstedt PY - 2026 UR - https://arxiv.org/abs/2601.16198 ID - 2601.16198 ER -