TY  - RPRT
TI  - Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis
AU  - Guy Scher
AU  - Sadra Sadraddini
AU  - Ariel Yadin
AU  - Hadas Kress-Gazit
PY  - 2023
UR  - https://arxiv.org/abs/2304.14886
ID  - 2304.14886
ER  -