@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"
}