SPLASH 2019 (series) / Osbert Bastani
Registered user since Thu 23 Jun 2016
Name: Osbert Bastani
Country: United States
Affiliation: University of Pennsylvania
Personal website: https://obastani.github.io
Contributions
SPLASH 2019 | Probabilistic Verification of Fairness Properties via Concentration Relational Verification using Reinforcement Learning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile