Synthesis from Satisficing and Temporal Goals
Synthesis from Satisficing and Temporal Goals
复制标题
从满意目标和暂时目标综合
DOI：
10.1609/aaai.v36i9.21202
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Wells, Andrew
中科院分区：
文献类型：
--
作者：
Bansal, Suguman;Kavraki, Lydia;Vardi, Moshe Y.;Wells, Andrew
线性时序逻辑规范下贴现奖励马尔可夫决策过程的最优控制
DOI：
--
发表时间：
2021
期刊：
American Control Conference
影响因子：
--
作者：
K. C. Kalagarla;R. Jain;P. Nuzzo
通讯作者：
P. Nuzzo
影响因子：
1
作者：
Chatterjee, Krishnendu;Henzinger, Thomas A.;Velner, Yaron
通讯作者：
Velner, Yaron