A Aralex Aachen research explorer

June 13, 2022 conference-paper Open access

Verifiable and Compositional Reinforcement Learning Systems

Proceedings of the International Conference on Automated Planning and Scheduling

DOI: 10.1609/icaps.v32i1.19849 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 15

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations

1 result

References 1

Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations

1 result