팔로우
Dorsa Sadigh
제목
인용
인용
연도
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
4452021
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
4312016
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
2712015
Active preference-based learning of reward functions
D Sadigh, AD Dragan, S Sastry, SA Seshia
2452017
Toward verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
Communications of the ACM 65 (7), 46-55, 2022
2172022
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
2082016
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
1602014
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
1552019
Multi-agent generative adversarial imitation learning
J Song, H Ren, D Sadigh, S Ermon
Advances in neural information processing systems 31, 2018
1462018
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
1252018
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
1232014
Safe control under uncertainty with probabilistic signal temporal logic
D Sadigh, A Kapoor
Proceedings of Robotics: Science and Systems XII, 2016
1212016
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
1012014
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
972012
Learning reward functions by integrating human demonstrations and preferences
M Palan, NC Landolfi, G Shevchuk, D Sadigh
arXiv preprint arXiv:1906.08928, 2019
892019
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
592019
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
582018
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
572014
Batch active preference-based learning of reward functions
E Biyik, D Sadigh
Conference on robot learning, 519-528, 2018
562018
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
562016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20