July

  • Excited to share two new papers this month! ✨ Our work “Analyzing Adversarial Inputs in Deep Reinforcement Learning” has been accepted at AISoLA 2025. You can find it here. Another highlight: “Efficient Dynamic Shielding for Parametric Safety Specifications” has been accepted at ATVA 2025! You can read it here.

 June

  • Really excited to kick off my participation in the DARPA SAFRON project 🤖.
    In this project, we will investigate how to integrate foundation models (LLMs, VLMs, and VLAMs) for robotic control, with a special emphasis on the safety of these systems. These models cannot simply be treated as black boxes, and I’m thrilled to explore new ways to make them safer and more reliable!

 May

  • Thrilled to announce that our paper “Explanations for Unrealizability of Infinite-State Safety Shields” has been accepted at KR 2025 🎉. You can check it out here.

 February

  • Our paper “Realizable Continuous-Space Shields for Safe Reinforcement Learning” has been accepted at L4DC 2025 🚀. See the paper here.