Model Checking for Closed-Loop Robot Reactive Planning. - Christopher Chandler; Bernd Porr; Alice Miller 001; Giulia Lafratta (FMAS@iFM, 2023)

Homeostatic motion planning with innate physics knowledge. - Giulia Lafratta; Bernd Porr; Christopher Chandler; Alice Miller 001 (CoRR, 2024)

Closed-loop multi-step planning with innate physics knowledge. - Giulia Lafratta; Bernd Porr; Christopher Chandler; Alice Miller 001 (CoRR, 2024)