Deciding What Is Good-For-MDPs. - Sven Schewe; Qiyi Tang 001; Tansholpan Zhanabekova (CONCUR, 2023)

Semantic flowers for good-for-games and deterministic automata. - Daniele Dell'Erba; Sven Schewe; Qiyi Tang 001; Tansholpan Zhanabekova (Inf. Process. Lett., 2024)