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

@conference{ Lee2018DFR,
  Title = "Constraint Estimation and Derivative-Free Recovery for Robot Learning from Demonstrations",
  Author = "Jonathan Lee and Michael Laskey and Roy Fox and Ken Goldberg",
  Booktitle = "14th IEEE Conference on Automation Science and Engineering (CASE)",
  Year = "2018"
}