NIPS Proceedings
β
Books
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)