Niklas Metzger

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Computer Aided Verification (CAV)

Computer Aided Verification (CAV)

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Computer Aided Verification (CAV)

Automated Technology for Verification and Analysis

Computer Aided Verification

Computer Aided Verification

Innovations in Systems and Software Engineering

IEEE Visualization Conference (VIS)