Publications
Diana Fischer
2013

D. Fischer. The Quantitative muCalculus. PhD thesis, RWTH Aachen University, 2013.
2012

D. Fischer and Ł. Kaiser. Model Checking the Quantitative muCalculus on Linear Hybrid Systems. Logical Methods in Computer Science, vol. 8(3), 2012.
2011

D. Fischer and Ł. Kaiser. Model Checking the Quantitative muCalculus on Linear Hybrid Systems. In Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 (2), vol. 6756 of Lecture Notes in Computer Science, pp. 404–415. Springer, 2011.
2010

D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative muCalculus. Theory Comput. Syst., vol. 47(3), pp. 696–719, 2010.
2008

D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$Calculus. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 301–312, 2008.