Markov Chains and Unambiguous Automata

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

20 Jul 2016

Description

Speaker: Dipl.-Inf. David Müller
Event: 28th International Conference on Computer Aided Verification (CAV'16)
Location: Toronto
Country: Kanada
Duration of event: 17.07.2016-23.07.2016

Conference

Title	28th International Conference on Computer Aided Verification
Abbreviated title	CAV 2016
Conference number
Duration	17 - 23 July 2016
Degree of recognition	International event
Location
City	Toronto
Country	Canada

Keywords

Markov Chains and Unambiguous Büchi Automata

Baier, C., Kiefer, S., Klein, J., Klüppelholz, S., Müller, D. & Worrell, J., 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Berlin [u. a.], p. 23-42 20 p. (Lecture Notes in Computer Science, Vol. 9779).

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