Kostya KanishevinImandra Inc.PyIDF: Diversity of experiences in Reinforcement LearningIn Reinforcement Learning, an agent learns from interaction with its environment. The agent’s goal is to arrive at a behavior policy that…Sep 13, 2019Sep 13, 2019
Kostya KanishevinImandra Inc.Probabilistic reasoning in ReasonMLImandra by Aesthetic Integration is a reasoning engine and a proof assistant that is able to formally verify statements about pure…Oct 23, 2018Oct 23, 2018
Kostya KanishevinImandra Inc.Imandra interface to Robot OS: Part IIAt AI, we’ve been working on an IML (Imandra Modelling Language) interface to ROS, allowing one to develop ROS nodes and use Imandra to…Aug 13, 2018Aug 13, 2018
Kostya KanishevinImandra Inc.Imandra interface to Robot OS: Part IAt AI, we’ve been working on an IML (Imandra Modelling Language) interface to ROS, allowing one to develop ROS nodes and use Imandra to…Aug 6, 2018Aug 6, 2018
Kostya KanishevinImandra Inc.Creating safe robots with ImandraFrom self-driving cars to medical surgeons, robots have become ubiquitous. Ensuring they operate safely and correctly is evermore…Jul 9, 2018Jul 9, 2018
Kostya KanishevinImandra Inc.Formalising the FIX Protocol in ImandraFinancial markets run on many distributed systems – interconnected with multiple loosely-specified protocols such as FIX, SWIFT and ITCH…Jun 19, 20182Jun 19, 20182