TY  - RPRT
TI  - Formal Verification of Robotic Contact Tasks via Reachability Analysis
AU  - Chencheng Tang
AU  - Matthias Althoff
PY  - 2023
DO  - 10.1016/j.ifacol.2023.10.028
UR  - https://arxiv.org/abs/2307.13977
ID  - 2307.13977
ER  -