TY  - RPRT
TI  - Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
AU  - Anastasios Manganaris
AU  - Vittorio Giammarino
AU  - Ahmed H. Qureshi
AU  - Suresh Jagannathan
PY  - 2026
UR  - https://arxiv.org/abs/2602.06971
ID  - 2602.06971
ER  -