Final Activity Report Summary - DYROLL (Behavioral Planning for Dynamically Dexterous Robots using Constrained Intuitionistic Linear Logic)
This directly led to the implementation of an associated theorem prover, whose annotated proof constructions can be used to obtain provably correct behavioural plans for robots. Finally, an improved version of the hexapedal RHex robot platform was developed to support subsequent experiments in applying the ideas developed in this project to real-world robotic planning problems such as those encountered in search and rescue applications. These three components tightly connect together towards a robust planner for autonomous robot behaviour in the presence of fast, dynamic behaviours that cannot be adequately described by discrete symbols alone.