Accepted paper at ECC, Codit and JSS
20 März 2025
Our paper "Trajectory Planning for Automated Driving using Target Funnels" will be presented at the European Control Conference (ECC25) in Thessaloniki!
Our paper "A Comprehensive Safety Analysis for Tracking Neural Controllers" will be presented at the IEEE/IFAC International Conference on Control, Decision and Information Technologies (Codit 2025) in Split!
Our paper "Compositional code-level safety verification for automated driving controllers" will be published in the Journal of Software and Systems (JSS)!