HRL Laboratories, LLC, will join the Defense Advanced Research Project Agency (DARPA) in its Assured Autonomy (AA) program with the Expressive Assurance Case Toolkit (ExACT) project, a set of ...