Research
Invited Talks- Human-in-the-Loop Robotics: Specification, Verification and Synthesis Sanjit Seshia 5th Workshop on Formal Methods for Robotics and Automation (RSS 2014).
- Formal Methods for Semi-Autonomous Driving Sanjit Seshia , Dorsa Sadigh , S. Shankar Sastry Design Automation Conference (DAC 2015)
- Synthesis for Human-in-the-Loop Control Systems Wenchao Li , Dorsa Sadigh , S. Shankar Sastry , Sanjit Seshia Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Lecture Notes in Computer Science, Volume 8413, 2014, pp 470-484.
- Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior Dorsa Sadigh , Katherine Driggs Campbell , Alberto Alessandro Angelo Puggelli , Wenchao Li , Victor Shia, Ruzena Bajcsy , Alberto L. Sangiovanni-Vincentelli , S. Shankar Sastry and Sanjit Seshia Formal Verification and Modeling in Human-Machine Systems, AAAI Spring Symposium 2014.
- A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications Dorsa Sadigh , Eric S. Kim, Samuel Coogan, S. Shankar Sastry and Sanjit Seshia 2014 IEEE 53rd Annual Conference on Decision and Control (CDC 2014).
- Decisions for Autonomous Vehicles: Integrating Sensors, Communication, and Control Katherine Driggs Campbell , Victor Shia, Ruzena Bajcsy Proceedings of the 3rd International Conference on High Confidence Networked Systems (HiCoNs 2014).
- User Interface Design and Verification for Semi-autonomous Driving Dorsa Sadigh , Katherine Driggs Campbell , Ruzena Bajcsy , S. Shankar Sastry and Sanjit Seshia Proceedings of the 3rd International Conference on High Confidence Networked Systems (HiCoNs 2014).
- Probabilistic Modeling of Human Perception for Semi-Autonomous Robotics Dorsa Sadigh , Roy Dong , S. Shankar Sastry and Sanjit Seshia 5th Workshop on Formal Methods for Robotics and Automation (RSS 2014).
Update (admins only)