Before revision: Safety is an important topic in autonomous driving since any collision may cause serious damage to people and the environment . Hamilton-Jacobi (HJ) Reachability is a formal method that verifies safety in multi-agent interaction and provides a safety controller for collision avoidance.
After revision: Safety is an important topic in autonomous driving since any collision may cause serious injury to people and the environment . Hamilton-Jacobi (HJ) Reachability is a formal method that verifies safety in multi-agent interaction and provides a safety controller for collision avoidance.