Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik
ORCID: 0000-0001-5560-0546
(2022)
Alternating Good-for-MDP Automata.
[Preprint]
Item Type: | Preprint |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 27 Oct 2022 07:43 |
Last Modified: | 18 Jan 2023 19:49 |
Open Access URL: | https://arxiv.org/abs/2205.03243 |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3165780 |
Share



CORE (COnnecting REpositories)