The ExACT Tools for Safe Autonomy (IMAGE)

HRL Laboratories

The ExACT Tools for Safe Autonomy

Caption

ExACT provides a set of mathematical tools that verify safety and correctness of guidance algorithms for any autonomous vehicle. © 2018 HRL Laboratories.

Credit

Getty Images

Usage Restrictions

None

License

Licensed content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.