Webseite Johann Schuster

Dr. rer. nat. Johann Schuster

Postdoc at the Institut für Technische Informatik, University of the Federal Armed Forces Munich.

Note: I left the University April 2012, but my email address will work until April 2014.


Email         johann.schuster(insertathere)unibw.de

Address     Universität der Bundeswehr München
                Institut für Technische Informatik
                Fakultät für Informatik
                Werner-Heisenberg-Weg 39
                D-85577 Neubiberg, Germany

Room        41/500 1509

Research interests:
multilevel solutions of Markov Chains stored by MTBDD data structures
path-based analysis of Markov Chains stored by MTBDD data structures
MTBDD-based elimination of immediate transitions in ESLTS stored by MTBDD data structures
Markov Automata: What are vanishing states in Markov Automata, Relation between weak and naive weak bisimulation, Logics for Markov Automata. Normal forms of Probabilistic and Markov Automata.