Muqsit Azeem -

Registered user since Fri 15 Nov 2024

Name:Muqsit Azeem

Country:Germany

Affiliation:Technical University of Munich

Personal website: https://www7.in.tum.de/~azeem/

GitHub: https://github.com/muqsit-azeem

Research interests:Formal Verification, Learning

Contributions

2025

VMCAI

Author of 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization within the VMCAI 2025-track