Doktorand:in
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Computer Aided Verification (CAV)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
IEEE Visualization Conference (VIS)