Daniel Wagner

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Probabilistic Automata

Regular Expressions

Finite Automata

Markov Processes

Top Venues

Perform. Evaluation

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation 69 (7-8) (2012)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation 67 (9) (2010)
Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST (2010)
Michael Huth, Nir Piterman, Daniel Wagner
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT (2009)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Hintikka Games for PCTL on Labeled Markov Chains. QEST (2008)
Simon Colton, Daniel Wagner
Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM (2007)