Muqsit Azeem

According to our database, Muqsit Azeem authored at least 15 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

Scalable Solutions for Decision-Making Systems Using Explainable Policy Representations.

Muqsit Azeem

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

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ý

Dataset, May, 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ý

Dataset, April, 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ý

Dataset, April, 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ý

Dataset, April, 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ý

Dataset, April, 2024

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes.

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský

CoRR, 2024

Sound Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Jan Kretínský, Maximilian Weininger

CoRR, 2024

Monitizer: Automating Design and Evaluation of Neural Network Monitors.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

2022

Optimistic and Topological Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Direct Construction of Program Alignment Automata for Equivalence Checking.

Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh

CoRR, 2021

2018

Generalizing specific-instance interpolation proofs with SyGuS.

Muqsit Azeem, Kumar Madhukar, R. Venkatesh

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018