Safety Verification of Non-Deterministic Policies in Reinforcement Learning
Reinforcement Learning represents a powerful paradigm in artificial intelligence, enabling agents to learn optimal behaviors through interactions with their environment. However, ensuring the safety of policies learned in non-deterministic environments, where outcomes are inherently uncertain and va...
Saved in:
| Main Authors: | Ryeonggu Kwon, Gihwon Kwon |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10786219/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking
by: Ryeonggu Kwon, et al.
Published: (2025-01-01) -
CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning
by: Ryeonggu Kwon, et al.
Published: (2025-01-01) -
On Construction and Verification of PLC-Programs
by: E. V. Kuzmin, et al.
Published: (2015-02-01) -
Formal Verification of Code Conversion: A Comprehensive Survey
by: Amira T. Mahmoud, et al.
Published: (2024-11-01) -
Verification Oriented Process Ontology
by: Natalia O. Garanina, et al.
Published: (2018-12-01)