Published July 23, 2025
| Version v4
Dataset
Open
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
Authors/Creators
-
1.
Leibniz University Hannover
-
2.
University of Applied Sciences FHDW Hannover
-
3.
Ben-Gurion University of the Negev
-
4.
L3S Research Center
Description
Artifacts of the paper: Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems