Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning

von Kazemi, Milad
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning

von Kazemi, Milad
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (21. : 2022 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; Volume 2 of 3 (2022)