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