Giulia Lafratta
Research title: Implementing Core Knowledge for On-The-Fly Casual Reasoning in Robotic Navigation
Publications
2025
Lafratta, Giulia 
ORCID: https://orcid.org/0009-0006-2072-338X, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Chandler, Christopher ORCID: https://orcid.org/0000-0001-5025-1498 and Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717
(2025)
Closed-loop multistep planning.
Neural Computation, 37(7),
pp. 1288-1319.
(doi: 10.1162/neco_a_01761)
(PMID:40425018)
2023
Chandler, Christopher ORCID: https://orcid.org/0000-0001-5025-1498, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Lafratta, Giulia ORCID: https://orcid.org/0009-0006-2072-338X
(2023)
Model Checking for Closed-Loop Robot Reactive Planning.
In: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands, 15-16 November 2023,
pp. 77-94.
(doi: 10.4204/EPTCS.395.6)
Articles
Lafratta, Giulia ORCID: https://orcid.org/0009-0006-2072-338X, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Chandler, Christopher ORCID: https://orcid.org/0000-0001-5025-1498 and Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717
(2025)
Closed-loop multistep planning.
Neural Computation, 37(7),
pp. 1288-1319.
(doi: 10.1162/neco_a_01761)
(PMID:40425018)
Conference Proceedings
Chandler, Christopher ORCID: https://orcid.org/0000-0001-5025-1498, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Lafratta, Giulia ORCID: https://orcid.org/0009-0006-2072-338X
(2023)
Model Checking for Closed-Loop Robot Reactive Planning.
In: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands, 15-16 November 2023,
pp. 77-94.
(doi: 10.4204/EPTCS.395.6)