Giulia Lafratta
Research title: Real-time cognitive map learning and reasoning in a robot with core knowledge
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 multi-step planning.
Neural Computation,
(Accepted for Publication)
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 multi-step planning.
Neural Computation,
(Accepted for Publication)
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)