Displaying news tagged: exact

The ExACT Tools for Safe Autonomy

HRL Laboratories, LLC, will join the Defense Advanced Research Project Agency (DARPA) in its Autonomy Assurance (AA) program with the Expressive Assurance Case Toolkit (ExACT), a set of algorithmic tools that will mathematically verify that the autonomous driving system’s algorithms are correct and safe.