Reachability problems for Controlled Rewriting Systems
Reachability problems for Controlled Rewriting Systems
复制标题
受控重写系统的可达性问题
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
小島芳治
中科院分区：
文献类型：
--
作者：
Ryoichi Nishio;Taizan Watari;小島芳治;小島芳治;R. Nishio;R. Nishio;小島芳治
登录
查看更多内容
航空航天控制系统的安全强化学习基准环境
DOI：
10.1109/aero53065.2022.9843750
发表时间：
2022
期刊：
IEEE Aerospace Conference
影响因子：
--
作者：
Umberto Ravaioli;James Cunningham;John McCarroll;Vardaan Gangal;Kyle Dunlap;Kerianne L. Hobbs
通讯作者：
Kerianne L. Hobbs
DOI：
10.48550/arxiv.2203.14141
发表时间：
2022-03
期刊：
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
影响因子：
--
作者：
Zhilu Wang;Chao Huang;Qi Zhu
通讯作者：
Zhilu Wang;Chao Huang;Qi Zhu
DOI：
10.24963/ijcai.2018/368
发表时间：
2018-05
期刊：
--
影响因子：
--
作者：
Wenjie Ruan;Xiaowei Huang;M. Kwiatkowska
通讯作者：
Wenjie Ruan;Xiaowei Huang;M. Kwiatkowska
影响因子：
2
作者：
Ivanov, Radoslav;Carpenter, Taylor J.;Lee, Insup
通讯作者：
Lee, Insup
DOI：
10.1145/3486611.3486644
发表时间：
2021-06
期刊：
Proceedings of the 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation
影响因子：
--
作者：
Shichao Xu;Yangyang Fu;Yixuan Wang;Zheng O’Neill;Qi Zhu
通讯作者：
Shichao Xu;Yangyang Fu;Yixuan Wang;Zheng O’Neill;Qi Zhu