Our group has been awarded a grant for the DARPA project “Assured Autonomy”.

The goal of the project is to create technology for the continual assurance of Learning-Enabled, Cyber Physical Systems (LE-CPSs). More details of the project can be found here.