The ExACT Tools for Safe Autonomy (IMAGE) HRL Laboratories 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.