Muqsit Azeem

Joined

July 2024

Names

Muqsit Azeem (Preferred)

Emails

****@tum.de (Confirmed)

Personal Links

Career & Education History

PhD student

Computer Science, Technische Universität München (tum.de)

2020 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
- CAV (2) 2024
- Readers: Everyone
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
- CoRR 2024
- Readers: Everyone
Optimistic and Topological Value Iteration for Simple Stochastic Games
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
- Published: 01 Jan 2022, Last Modified: 15 May 2023
- ATVA 2022
- Readers: Everyone
Optimistic and Topological Value Iteration for Simple Stochastic Games
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
- Published: 01 Jan 2022, Last Modified: 15 May 2023
- CoRR 2022
- Readers: Everyone
Direct Construction of Program Alignment Automata for Equivalence Checking
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
- CoRR 2021
- Readers: Everyone
Generalizing specific-instance interpolation proofs with SyGuS
Muqsit Azeem, Kumar Madhukar, R. Venkatesh
- ICSE (NIER) 2018
- Readers: Everyone

Co-Authors