From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. ISSE, 18(3):385-403, 2022. [doi]

This author has not been identified. Look up 'Tobias John' in GoogleThis author has not been identified. Look up 'Simon Jantsch' in GoogleThis author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Sascha Klüppelholz' in Google

runs on WebDSL