Send email Copy Email Address
PhD Student

Niklas Metzger

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Niklas Metzger

Year 2024

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Year 2023

Conference / Medium

Computer Aided Verification (CAV)

Year 2022

chapter

Automated Technology for Verification and Analysis

chapter

Computer Aided Verification

chapter

Computer Aided Verification

2022-03-31

Live synthesis

Article

Innovations in Systems and Software Engineering

Year 2021

Conference / Medium

IEEE Visualization Conference (VIS)

2021-10-12

Live Synthesis

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)