DARPA is Working on Mathematical Framework to Check the Safety of Autonomous Systems
DARPA’s Assured Autonomy program is working to provide continual assurance of a learning enabled cyber physical system's (LE-CPS's) safety and functional correctness, both at the...