Formalising the FIX Protocol in Imandra

Financial markets run on many distributed systems – interconnected with multiple…

Machine Reasonable APIs and Regulations

Our world runs on many distributed systems. This is especially true of financial markets –…

Scalable Deep Symbolic Reinforcement Learning with Imandra: Part I

Combining statistical (e.g. neural networks) and classical “symbolic” AI has long interested AI researchers and has seen some very interesting recent results.

Verifying ReasonReact component logic — ReasonML & Imandra

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…

Creating safe robots with Imandra

From self-driving cars to medical surgeons, robots have become ubiquitous. Ensuring they operate…