Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Siqi Wang; Shaoyuan Li; Li Yin; Xiang Yin

doi:10.1109/icra57147.2024.10610510

ScienceGate Book Chapters

JOURNAL ARTICLE

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Siqi Wang Shaoyuan Li Li Yin Xiang Yin

Year: 2024 Pages: 10503-10509

DOI: 10.1109/icra57147.2024.10610510

Get Full-Text PDF Get Analytical Report

Keywords:

Reinforcement learning Computer science Temporal logic SIGNAL (programming language) Artificial intelligence Theoretical computer science Programming language

Metrics

Cited By

3.16

FWCI (Field Weighted Citation Impact)

Refs

0.86

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Reinforcement Learning in Robotics

Physical Sciences → Computer Science → Artificial Intelligence

Constraint Satisfaction and Optimization

Physical Sciences → Computer Science → Computer Networks and Communications

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Metrics

Citation History

Topics

Related Documents

Safe Reinforcement Learning for Signal Temporal Logic Tasks Using Robust Control Barrier Functions

Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning

Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay

Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach

Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning