Dorsa Sadigh
Dorsa Sadigh
Assistant Professor, Stanford University
Verified email at cs.stanford.edu - Homepage
TitleCited byYear
Planning for Autonomous Cars that Leverage Effects on Human Actions.
D Sadigh, S Sastry, SA Seshia, AD Dragan
Robotics: Science and Systems, 2016
1072016
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
992015
Information gathering actions over human internal state
D Sadigh, SS Sastry, SA Seshia, A Dragan
Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International …, 2016
602016
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
602014
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, 2, 2012
602012
Safe control under uncertainty
D Sadigh, A Kapoor
arXiv preprint arXiv:1510.07313, 2015
462015
Data-driven probabilistic modeling and verification of human driver behavior
D Sadigh, K Driggs-Campbell, A Puggelli, W Li, V Shia, R Bajcsy, ...
442014
Towards verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
arXiv preprint arXiv:1606.08514, 2016
402016
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
Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 1091-1096, 2014
392014
Active preference-based learning of reward functions
ADD Dorsa Sadigh, S Sastry, SA Seshia
Robotics: Science and Systems (RSS), 2017
312017
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
252014
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
222016
Timing analysis of interrupt-driven programs under context bounds
J Kotker, D Sadigh, SA Seshia
Formal Methods in Computer-Aided Design (FMCAD), 2011, 81-90, 2011
172011
Formal methods for semi-autonomous driving
SA Seshia, D Sadigh, SS Sastry
Proceedings of the 52nd Annual Design Automation Conference, 148, 2015
152015
Robust subspace system identification via weighted nuclear norm optimization
D Sadigh, H Ohlsson, SS Sastry, SA Seshia
IFAC Proceedings Volumes 47 (3), 9510-9515, 2014
142014
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
122018
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
122016
Stochastic predictive freeway ramp metering from signal temporal logic specifications
N Mehr, D Sadigh, R Horowitz, SS Sastry, SA Seshia
American Control Conference (ACC), 2017, 4884-4889, 2017
82017
User interface design and verification for semi-autonomous driving
D Sadigh, K Driggs-Campbell, R Bajcsy, SS Sastry, S Seshia
Proceedings of the 3rd international conference on High confidence networked …, 2014
62014
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
52018
The system can't perform the operation now. Try again later.
Articles 1–20