Alternating Good-for-MDPs Automata Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio
• Trivedi, Ashutosh

publication date

• October 1, 2022

Date in CU Experts

• February 2, 2023 1:36 AM

Full Author List

• Trivedi A; Hahn EM; Perez M; Schewe S; Somenzi F; Wojtczak D

author count

• 6

presented at event

• Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022  Conference