Displaying news tagged: algorithm

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.

Computer Modeling Brain Phenomena to Solve Hard Problems

HRL Laboratories, LLC, computer scientists have found that computer models of a phenomenon in the brain called self-organized criticality (SOC) can be used to calculate optimal conditions within complex networks.