Podcast
HRL's History of the Future Podcast focuses on the famed Hughes Research facility’s past and HRL’s present advancements in science and technology.
Check out our latest episode
Check out our latest episode
Magazine
HRL Horizons is a quarterly magazine highlighting research, technology, and advances from our campus in Malibu, California.
Check out our latest issue
Check out our latest issue
Displaying news tagged: exact
The ExACT Way to Safe Autonomy
HRL Laboratories tests its Expressive Assurance Case Toolkit (ExACT) in an autonomous M-RZR vehicle as part of the Assured Autonomy program sponsored by the Defense Advanced Research Project Agency (DARPA). The system can analyze AI-based systems to find or prevent safety failures, computing the circumstances that could avoid bad outcomes.
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.