@conference{ Rodríguez2025Unrealizability,
  Title = "Explanations for Unrealizability of Infinite-State Safety Shields",
  Author = "Andoni Rodríguez and Irfansha Shaik and Davide Corsi and Roy Fox and César Sánchez",
  Booktitle = "22nd International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  Year = "2025"
}

@conference{ Kim2025Realizable,
  Title = "Realizable Continuous-Space Shields for Safe Reinforcement Learning",
  Author = "Kyungmin Kim and Davide Corsi and Andoni Rodríguez and JB Lanier and Benjami Parellada and Pierre Baldi and César Sánchez and Roy Fox",
  Booktitle = "7th Annual Learning for Dynamics \& Control Conference (L4DC)",
  Year = "2025"
}

@conference{ Corsi2024Verification,
  Title = "Verification-Guided Shielding for Deep Reinforcement Learning",
  Author = "Davide Corsi and Guy Amir and Andoni Rodríguez and César Sánchez and Guy Katz and Roy Fox",
  Booktitle = "1st Reinforcement Learning Conference (RLC)",
  Year = "2024"
}