Muqsit Azeem - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

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

1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

Show activities from other conferences

Using general profile