TY  - RPRT
TI  - Temporal logics and formal synthesis for robot planning and control
AU  - Jana Tumova
AU  - Joris Verhagen
AU  - Matti Vahs
PY  - 2026
UR  - https://arxiv.org/abs/2606.21438
ID  - 2606.21438
ER  -