TY  - RPRT
TI  - Model Checking for Closed-Loop Robot Reactive Planning
AU  - Christopher Chandler
AU  - Bernd Porr
AU  - Alice Miller
AU  - Giulia Lafratta
PY  - 2023
DO  - 10.4204/eptcs.395.6
UR  - https://arxiv.org/abs/2311.09780
ID  - 2311.09780
ER  -