TY  - RPRT
TI  - Belief Space Planning for Risk Signal Temporal Logic via Mixed-Integer Convex Programming
AU  - Shaohang Han
AU  - Joris Verhagen
AU  - Kaier Liang
AU  - Jana Tumova
PY  - 2026
UR  - https://arxiv.org/abs/2610.16696
ID  - 2610.16696
ER  -