Diana Fischer
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21715 |
| Fax: | +49-241-80-22215 |
| Room: | 2U02 (E1) / Ahornstr. 55 |
| Email: | fischer [AT] logic.rwth-aachen.de |
Research
I am a member of the DFG Research Training Group AlgoSyn.
My research interests lie in the field of game theory and its application to logic and verification.
I am particularly interested in the theory of quantitative systems.
Activities
- Programme Coordinator of the ESF Research Networking Programme GAMES
Recent Publications
- D. Fischer and Ł. Kaiser. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems. Logical Methods in Computer Science, vol. 8(3), 2012.
- D. Fischer and Ł. Kaiser. Model Checking the Quantitative mu-Calculus 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.
- D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative mu-Calculus. Theory Comput. Syst., vol. 47(3), pp. 696–719, 2010.
- 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.