NIPS Proceedingsβ

Osbert Bastani

3 Papers

  • A Composable Specification Language for Reinforcement Learning Tasks (2019)
  • Verifiable Reinforcement Learning via Policy Extraction (2018)
  • Measuring Neural Net Robustness with Constraints (2016)