Generalizing specific-instance interpolation proofs with SyGuS. - Muqsit Azeem; Kumar Madhukar; R. Venkatesh 001 (ICSE (NIER), 2018)

Direct Construction of Program Alignment Automata for Equivalence Checking. - Manish Goyal 002; Muqsit Azeem; Kumar Madhukar; R. Venkatesh 001 (CoRR, 2021)

Optimistic and Topological Value Iteration for Simple Stochastic Games. - Muqsit Azeem; Alexandros Evangelidis; Jan Kretínský; Alexander Slivinskiy; Maximilian Weininger (ATVA, 2022)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

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)

Sound Value Iteration for Simple Stochastic Games. - Muqsit Azeem; Jan Kretínský; Maximilian Weininger (CoRR, 2024)

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský (CoRR, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Scalable Solutions for Decision-Making Systems Using Explainable Policy Representations. - Muqsit Azeem (AAAI, 2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský; MohammadSadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger (VMCAI (2), 2025)