This academic paper discusses the challenge of integrating multiple robotic and Artificial Intelligence (AI) techniques to model complex robot behaviour. The authors propose using a formal framework to map the interactions between the components and ensure global properties and behaviours. The paper extends an existing formal framework to model complex integrated reasoning behaviours of robotic systems. This includes symbolic planning and online learning of policies. The new framework allows for more flexible modelling of interactions between different reasoning components.
Publication date: 20 Oct 2023
Project Page: Not provided
Paper: https://arxiv.org/pdf/2310.12386
