Safety-shield

Enhancing Decision-making Safety in AD Through Online Model Checking

We propose leveraging online model checking to develop a safety shield for autonomous driving.