Hahn, Ernst-Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021)
Model-Free Reinforcement Learning for Branching Markov Decision Processes.
In: International Conference on Computer Aided Verification.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 18 Nov 2021 08:50 |
Last Modified: | 18 Jan 2023 21:24 |
DOI: | 10.1007/978-3-030-81688-9\_30 |
Open Access URL: | https://link.springer.com/chapter/10.1007%2F978-3-... |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3143380 |