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 2013.
Contact:
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
