Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences. This study aims to address this challenge by integrating temporal logic constraints into RL algorithms, thereby providing...
Main Authors: | Ryeonggu Kwon, Gihwon Kwon |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2023-11-01
|
Series: | Systems |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-8954/11/11/535 |
Similar Items
-
Formal Verification of STPA with Model Checking
by: Ryeonggu Kwon, et al.
Published: (2023-03-01) -
Safety design of IoT operating system based on linear temporal logic
by: Zhang Huaqiang, et al.
Published: (2020-02-01) -
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning
by: Ryeonggu Kwon, et al.
Published: (2024-01-01) -
Safe and certified reinforcement learning with logical constraints
by: Hasanbeig, MH
Published: (2020) -
Streamlining Temporal Formal Verification over Columnar Databases
by: Giacomo Bergami
Published: (2024-01-01)