Probabilistic Specification Learning for Planning with Safety Constraints
Probabilistic Specification Learning for Planning with Safety Constraints
复制标题
具有安全约束的规划的概率规范学习
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Lahijanian, Morteza
中科院分区：
文献类型：
--
作者：
Watanabe, Kandai;Renninger, Nicholas;Sankaranarayanan, Sriram;Lahijanian, Morteza
登录
查看更多内容
flexfringe：被动自动机学习包
DOI：
10.1109/icsme.2017.58
发表时间：
2017
期刊：
2017 IEEE International Conference on Software Maintenance and Evolution (ICSME)
影响因子：
--
作者：
S. Verwer;Christian A. Hammerschmidt
通讯作者：
Christian A. Hammerschmidt
DOI：
--
发表时间：
2018
期刊：
Thirty-third Conference on Neural Information Processing Systems (NeurIPS
影响因子：
--
作者：
VazquezChanlatte, Marcell;Jha, Susmit;Tiwari, Ashish;Seshia, Sanjit
通讯作者：
Seshia, Sanjit
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Marcell Vazquez;Ameesh Shah;Gil Lederman;S. Seshia
通讯作者：
S. Seshia
影响因子：
5.2
作者：
Keliang He;Morteza Lahijanian;L. Kavraki;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
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