Visible to the public Biblio

Filters: Keyword is 1545126  [Clear All Filters]
2018-05-27
Bansal, Somil, Calandra, Roberto, Xiao, Ted, Levine, Sergey, Tomlin, Claire J.  2017.  Goal-Driven Dynamics Learning via Bayesian Optimization. arXiv preprint arXiv:1703.09260.
Herbert, Sylvia L, Chen, Mo, Han, SooJean, Bansal, Somil, Fisac, Jaime F, Tomlin, Claire J.  2017.  FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning. arXiv preprint arXiv:1703.07373.
Mitchell, Ian M, Yeh, Jeffrey, Laine, Forrest J, Tomlin, Claire J.  2016.  Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals. IEEE 55th Conference on Decision and Control (CDC). :7431–7438.
Marcell Vazquez{-}Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia.  2017.  Logical Clustering and Learning for Time-Series Data. 29th International Conference on Computer Aided Verification (CAV). :305–325.
Tommaso Dreossi, Alexandre Donze, Sanjit A. Seshia.  2017.  Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Proceedings of the NASA Formal Methods Conference (NFM).
Dorsa Sadigh, Anca Dragan, Shankar Sastry, Sanjit A. Seshia.  2017.  Active Preference-Based Learning of Reward Functions. Proceedings of the Robotics: Science and Systems Conference (RSS).
Dorsa Sadigh, Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan.  2016.  Information Gathering Actions Over Human Internal State. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). :66–73.
Tara Rezvani, Katherine Rose Driggs{-}Campbell, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, Ruzena Bajcsy.  2016.  Towards trustworthy automation: User interfaces that convey internal and external awareness. 19th {IEEE} International Conference on Intelligent Transportation Systems (ITSC). :682–688.
Tara Rezvani, Katherine Rose Driggs{-}Campbell, Ruzena Bajcsy.  2017.  Optimizing the Information-Performance Tradeoff between Humans and Autonomy via Information Constraints on Design. 20th {IEEE} International Conference on Intelligent Transportation Systems (ITSC).