Displaying news tagged: expressive
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.