Secure Control Under Linear Temporal Logic Constraints
Secure Control Under Linear Temporal Logic Constraints
复制标题
线性时态逻辑约束下的安全控制
DOI：
10.23919/acc.2018.8431595
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Clark, Andrew
中科院分区：
文献类型：
--
作者：
Niu, Luyao;Clark, Andrew
DOI：
--
发表时间：
2009
期刊：
Foundations of Software Technology and Theoretical Computer Science
影响因子：
--
作者：
M. Kattenbelt;M. Huth
通讯作者：
M. Huth
根据 LTL 规范控制随机系统的概率方法
DOI：
--
发表时间：
2009
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
Morteza Lahijanian;S. Andersson;C. Belta
通讯作者：
C. Belta