Accepted papers at ICRA, VEHITS, IFAC, CODIT, and SAIV!

Our paper "Monitoring autonomous persistent surveillance missions using invariance" will be presented at the 2026 IEEE International Conference on Robotics and Automation (ICRA) in Vienna!

Our paper "Enhancing Functional Reliability of Autonomous Vehicle Safety Monitoring in Curves" will be presented at the 12th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) in Benidorm, Spain!

Our paper "Decentralized Invariant Sets for Safe Control of Partially-Decomposable Systems" will be presented at the IFAC World Congress 2026 (IFAC WC 2026) in Busan, Korea!

Our paper "Bilevel Inverse Optimal Control for Lane-Change Costs in Automated Driving" will be presented at the 12th International Conference on Control, Decision and Information Technologies (CoDIT 2026) in Bari, Italy!

Our paper "Incremental Invariant-based Safety Verification of Neural Controllers" will be presented at the 9th International Symposium on AI Verification (SAIV 2026) in Lisbon, Portugal!