首页|期刊导航|Journal of Automation and Intelligence|Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton

Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton

Mingyu Cai Zhangli Zhou Lin Li Shaoping Xiao Zhen Kan

Journal of Automation and Intelligence2025，Vol.4Issue(1)：P.39-51,13.

Journal of Automation and Intelligence2025，Vol.4Issue(1)：P.39-51,13.DOI:10.1016/j.jai.2024.12.005

Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton

Mingyu Cai ¹Zhangli Zhou ²Lin Li ²Shaoping Xiao ³Zhen Kan²

作者信息

1. University of California,Riverside,CA,92521,USA
2. University of Science and Technology of China,Hefei,230026,China
3. The University of Iowa,IA,52246,USA
折叠

摘要

关键词

Formal methods in robotics and automation/Linear temporal logic/Motion planning/Optimal control

分类

信息技术与安全科学

引用本文复制引用

Mingyu Cai,Zhangli Zhou,Lin Li,Shaoping Xiao,Zhen Kan..Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton[J].Journal of Automation and Intelligence,2025,4(1):P.39-51,13.

基金项目

supported by the National Natural Science Foundation of China under Grant 62173314. （）

Journal of Automation and Intelligence

ISSN：2097-504X

访问量0

下载量0

段落导航