Dorsa Sadigh
Dorsa Sadigh
Bestätigte E-Mail-Adresse bei cs.stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Planning for autonomous cars that leverage effects on human actions.
D Sadigh, S Sastry, SA Seshia, AD Dragan
Robotics: Science and Systems 2, 2016
2372016
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
1822015
Towards verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
arXiv preprint arXiv:1606.08514, 2016
1192016
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
1172016
Active Preference-Based Learning of Reward Functions.
D Sadigh, AD Dragan, S Sastry, SA Seshia
Robotics: Science and Systems, 2017
1072017
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
952014
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
892014
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
832012
Data-driven probabilistic modeling and verification of human driver behavior
D Sadigh, K Driggs-Campbell, A Puggelli, W Li, V Shia, R Bajcsy, ...
AAAI Spring Symposium-Technical Report, 56-61, 2014
722014
Safe control under uncertainty with probabilistic signal temporal logic
D Sadigh, A Kapoor
682016
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
482019
Multi-agent generative adversarial imitation learning
J Song, H Ren, D Sadigh, S Ermon
Advances in neural information processing systems, 7461-7472, 2018
432018
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
432014
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
402018
Formal methods for semi-autonomous driving
SA Seshia, D Sadigh, SS Sastry
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-5, 2015
372015
Diagnosis and repair for synthesis from signal temporal logic specifications
S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ...
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
322016
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
302016
Learning reward functions by integrating human demonstrations and preferences
M Palan, NC Landolfi, G Shevchuk, D Sadigh
arXiv preprint arXiv:1906.08928, 2019
272019
Batch active preference-based learning of reward functions
E Bıyık, D Sadigh
arXiv preprint arXiv:1810.04303, 2018
232018
Safe control under uncertainty
D Sadigh, A Kapoor
arXiv preprint arXiv:1510.07313, 2015
232015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20