Announcement_4

Our paper titled Enhancing Decision-making Safety in Autonomous Driving Through Online Model Checking has been accepted for publication in the 11th International Conference on Rigorous State Based Methods (ABZ 2025).