Learning Task Specifications from Demonstrations
Learning Task Specifications from Demonstrations
复制标题
从演示中学习任务规范
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Seshia, Sanjit
中科院分区：
文献类型：
--
作者：
VazquezChanlatte, Marcell;Jha, Susmit;Tiwari, Ashish;Seshia, Sanjit
登录
查看更多内容
感知不确定性下安全自主车辆控制的自动综合
DOI：
--
发表时间：
2016
期刊：
NASA Formal Methods
影响因子：
--
作者：
Susmit Jha;Vasumathi Raman
通讯作者：
Vasumathi Raman
DOI：
10.1007/978-3-319-67531-2_13
发表时间：
2017-09
期刊：
--
影响因子：
--
作者：
Susmit Jha;Ashish Tiwari;S. Seshia;T. Sahai;Natarajan Shankar
通讯作者：
Susmit Jha;Ashish Tiwari;S. Seshia;T. Sahai;Natarajan Shankar
通过 GLTL 实现与环境无关的任务规范
DOI：
--
发表时间：
2017
期刊：
arXiv.org
影响因子：
--
作者：
Littman, Michael L.;Topcu, Ufuk;Fu, Jie;Isbell, Charles;Wen, Min;MacGlashan, James
通讯作者：
MacGlashan, James
DOI：
10.1109/dsn-w.2018.00064
发表时间：
2018-06
期刊：
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
影响因子：
--
作者：
Shalini Ghosh-;Susmit Jha;A. Tiwari;P. Lincoln;Xiaojin Zhu
通讯作者：
Shalini Ghosh-;Susmit Jha;A. Tiwari;P. Lincoln;Xiaojin Zhu