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