Agility Prime (X20.D) : Run Time Assurance Based Autonomy Stack for ORBs

Autonomy stack using formal-methods for design-assurance and run-time assurance to enforce bounded behavior of complex algorithms.
Website
Website