Alternating Good-for-MDP Automata



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]

Access the full-text of this item by clicking on the Open Access link.
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