Are Good-for-games Automata Good for Probabilistic Model Checking?

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

David Müller - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

10 Mar 2014 → 14 Oct 2014

Description

Conference

Title	8th International Conference on Language and Automata Theory and Applications
Abbreviated title	LATA 2014
Conference number	8
Duration	10 - 14 March 2014
Degree of recognition	International event
City	Madrid
Country	Spain

Keywords

Are Good-for-Games Automata Good for Probabilistic Model Checking?

Klein, J., Müller, D., Baier, C. & Klüppelholz, S., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A.-H., Martín-Vide, C., Sierra-Rodríguez, J.-L. & Truthe, B. (eds.). Springer, Cham, p. 453-465 13 p. (Lecture Notes in Computer Science, Vol. 8370).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden