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

Mingyu Cai; Zhangli Zhou; Lin Li; Shaoping Xiao; Zhen Kan

doi:10.1016/j.jai.2024.12.005

ScienceGate Book Chapters

JOURNAL ARTICLE

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

Mingyu Cai Zhangli Zhou Lin Li Shaoping Xiao Zhen Kan

Year: 2024 Journal: Journal of Automation and Intelligence Vol: 4 (1)Pages: 39-51 Publisher: Elsevier BV

DOI: 10.1016/j.jai.2024.12.005

Get Full-Text PDF Get Analytical Report

Keywords:

Reinforcement learning Limit (mathematics) Automaton Computer science Reinforcement Büchi automaton Learning automata Mathematics Theoretical computer science Deterministic automaton Artificial intelligence Psychology Mathematical analysis Social psychology

Metrics

Cited By

1.22

FWCI (Field Weighted Citation Impact)

Refs

0.69

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Modular Robots and Swarm Intelligence

Physical Sciences → Engineering → Mechanical Engineering

Reinforcement Learning in Robotics

Physical Sciences → Computer Science → Artificial Intelligence

Robotic Path Planning Algorithms

Physical Sciences → Computer Science → Computer Vision and Pattern Recognition

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

Metrics

Citation History

Topics

Related Documents

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata

Limit-Deterministic Büchi Automata for Linear Temporal Logic

Reinforcement Learning with Temporal Logic Constraints

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Correct-by-synthesis reinforcement learning with temporal logic constraints