Muqsit Azeem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Scalable Solutions for Decision-Making Systems Using Explainable Policy Representations. | Muqsit Azeem |
| 2025 | VMCAI | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. | Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretnsk, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger |
| 2024 | CAV | Monitizer: Automating Design and Evaluation of Neural Network Monitors. | Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretnsk, Stefanie Mohr, Sabine Rieder |
| 2022 | ATVA | Optimistic and Topological Value Iteration for Simple Stochastic Games. | Muqsit Azeem, Alexandros Evangelidis, Jan Kretnsk, Alexander Slivinskiy, Maximilian Weininger |
| 2018 | ICSE | Generalizing specific-instance interpolation proofs with SyGuS. | Muqsit Azeem, Kumar Madhukar, R. Venkatesh |