Muqsit Azeem

According to our database, Muqsit Azeem authored at least 16 papers between 2018 and 2026.

Collaborative distances:

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

2026

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?

Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, Jan Kretínský

CoRR, February, 2026

2025

Sound Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Jan Kretínský, Maximilian Weininger

Proceedings of the Sixteenth International Symposium on Games, September, 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 Thirty-Ninth AAAI Conference on Artificial Intelligence, 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

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