| Planning for autonomous cars that leverage effects on human actions. D Sadigh, S Sastry, SA Seshia, AD Dragan Robotics: Science and systems 2, 1-9, 2016 | 395 | 2016 |
| Reactive synthesis from signal temporal logic specifications V Raman, A Donzé, D Sadigh, RM Murray, SA Seshia Proceedings of the 18th international conference on hybrid systems …, 2015 | 253 | 2015 |
| On the opportunities and risks of foundation models R Bommasani, DA Hudson, E Adeli, R Altman, S Arora, S von Arx, ... arXiv preprint arXiv:2108.07258, 2021 | 247 | 2021 |
| Active preference-based learning of reward functions D Sadigh, AD Dragan, S Sastry, SA Seshia | 216 | 2017 |
| Towards verified artificial intelligence SA Seshia, D Sadigh, SS Sastry arXiv preprint arXiv:1606.08514, 2016 | 194 | 2016 |
| Information gathering actions over human internal state D Sadigh, SS Sastry, SA Seshia, A Dragan 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016 | 192 | 2016 |
| A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications D Sadigh, ES Kim, S Coogan, SS Sastry, SA Seshia 53rd IEEE Conference on Decision and Control, 1091-1096, 2014 | 147 | 2014 |
| Hierarchical game-theoretic planning for autonomous vehicles JF Fisac, E Bronstein, E Stefansson, D Sadigh, SS Sastry, AD Dragan 2019 International conference on robotics and automation (ICRA), 9590-9596, 2019 | 129 | 2019 |
| Multi-agent generative adversarial imitation learning J Song, H Ren, D Sadigh, S Ermon Advances in neural information processing systems 31, 2018 | 123 | 2018 |
| Synthesis for human-in-the-loop control systems W Li, D Sadigh, SS Sastry, SA Seshia International conference on tools and algorithms for the construction and …, 2014 | 116 | 2014 |
| Safe control under uncertainty with probabilistic signal temporal logic D Sadigh, A Kapoor Proceedings of Robotics: Science and Systems XII, 2016 | 109 | 2016 |
| Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state D Sadigh, N Landolfi, SS Sastry, SA Seshia, AD Dragan Autonomous Robots 42 (7), 1405-1426, 2018 | 107 | 2018 |
| Data-driven probabilistic modeling and verification of human driver behavior D Sadigh, K Driggs-Campbell, A Puggelli, W Li, V Shia, R Bajcsy, ... 2014 AAAI Spring Symposium Series, 2014 | 97 | 2014 |
| Automating exercise generation: A step towards meeting the MOOC challenge for embedded systems D Sadigh, SA Seshia, M Gupta Proceedings of the workshop on embedded and cyber-physical systems education …, 2012 | 96 | 2012 |
| Learning reward functions by integrating human demonstrations and preferences M Palan, NC Landolfi, G Shevchuk, D Sadigh arXiv preprint arXiv:1906.08928, 2019 | 72 | 2019 |
| Safety envelope for security A Tiwari, B Dutertre, D Jovanović, T de Candia, PD Lincoln, J Rushby, ... Proceedings of the 3rd international conference on High confidence networked …, 2014 | 55 | 2014 |
| Safe autonomy under perception uncertainty using chance-constrained temporal logic S Jha, V Raman, D Sadigh, SA Seshia Journal of Automated Reasoning 60 (1), 43-62, 2018 | 50 | 2018 |
| Towards trustworthy automation: User interfaces that convey internal and external awareness T Rezvani, K Driggs-Campbell, D Sadigh, SS Sastry, SA Seshia, R Bajcsy 2016 IEEE 19th International conference on intelligent transportation …, 2016 | 49 | 2016 |
| Formal methods for semi-autonomous driving SA Seshia, D Sadigh, SS Sastry 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-5, 2015 | 49 | 2015 |
| Asking easy questions: A user-friendly approach to active reward learning E Bıyık, M Palan, NC Landolfi, DP Losey, D Sadigh arXiv preprint arXiv:1910.04365, 2019 | 48 | 2019 |
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
