Alternating Good-for-MDPs Automata Chapter
Overview
publication date
- January 1, 2022
has restriction
- closed
Date in CU Experts
- October 25, 2022 5:16 AM
Full Author List
- Hahn EM; Perez M; Schewe S; Somenzi F; Trivedi A; Wojtczak D
author count
- 6
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9783031199912
Additional Document Info
start page
- 303
end page
- 319