Imandra interface to Robot OS: Part I
At AI, we’ve been working on an IML (Imandra Modelling Language) interface to ROS, allowing one to develop ROS nodes and use Imandra to verify their properties. This post is the first of 2-part sequence where we demonstrate how to create and verify a simple ROS…