QFM

Publications

2012

Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Learning Markov Decision Processes for Model Checking QFM (2012)
Kim G. Larsen, Radu Mardare, Claus R. Thrane
Parameterized Metatheory for Continuous Markovian Logic QFM (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Adding Time to Pushdown Automata QFM (2012)
Johannes Hölzl, Tobias Nipkow
Interactive verification of Markov chains: Two distributed protocol case studies QFM (2012)

volume 103, 2012

Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. QFM 103 (2012)