Follow
Osbert Bastani
Title
Cited by
Cited by
Year
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems 29, 2016
3692016
Interpreting blackbox models via model extraction
O Bastani, C Kim, H Bastani
arXiv preprint arXiv:1705.08504, 2017
258*2017
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
Advances in Neural Information Processing Systems, 2018
1922018
Synthesizing program input grammars
O Bastani, R Sharma, A Aiken, P Liang
ACM SIGPLAN Notices 52 (6), 95-110, 2017
1542017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
1202018
" How do I fool you?" Manipulating User Trust via Misleading Black Box Explanations
H Lakkaraju, O Bastani
Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, 79-85, 2020
1092020
Automatically learning android malware signatures from few samples
Y Feng, O Bastani, R Martins, I Dillig, S Anand
Proceedings of the 2017 Annual Network and Distributed System Security …, 2017
85*2017
An efficient homomorphic encryption protocol for multi-user systems
L Xiao, O Bastani, IL Yen
Cryptology ePrint Archive, 2012
842012
Specification inference using context-free language reachability
O Bastani, S Anand, A Aiken
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
502015
A composable specification language for reinforcement learning tasks
K Jothimurugan, R Alur, O Bastani
Advances in Neural Information Processing Systems 32, 2019
462019
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
432016
Probabilistic verification of fairness properties via concentration
O Bastani, X Zhang, A Solar-Lezama
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
422019
Robust and stable black box explanations
H Lakkaraju, N Arsov, O Bastani
International Conference on Machine Learning, 5628-5638, 2020
392020
Robust model predictive shielding for safe reinforcement learning with stochastic dynamics
S Li, O Bastani
2020 IEEE International Conference on Robotics and Automation (ICRA), 7166-7172, 2020
392020
Algorithms for fairness in sequential decision making
M Wen, O Bastani, U Topcu
International Conference on Artificial Intelligence and Statistics, 1144-1152, 2021
34*2021
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
332015
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding
O Bastani
American Control Conference (ACC), 2021
27*2021
Learning safe unlabeled multi-robot planning with motion constraints
A Khan, C Zhang, S Li, J Wu, B Schlotfeldt, SY Tang, A Ribeiro, O Bastani, ...
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
252019
Learning neurosymbolic generative models via program synthesis
H Young, O Bastani, M Naik
International Conference on Machine Learning, 7144-7153, 2019
252019
Active learning of points-to specifications
O Bastani, R Sharma, A Aiken, P Liang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
252018
The system can't perform the operation now. Try again later.
Articles 1–20