Giulia Lafratta
Research title: Real-time cognitive map learning and reasoning in a robot with core knowledge
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Research title: Real-time cognitive map learning and reasoning in a robot with core knowledge
Chandler, C. , Porr, B. , Miller, A. and Lafratta, G. (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)
Chandler, C. , Porr, B. , Miller, A. and Lafratta, G. (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)