Muqsit Azeem

13 papers A* 1B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
CoRR
Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, Jan Kretínský
2025 — conf
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 A* conf
Scalable Solutions for Decision-Making Systems Using Explainable Policy Representations.
AAAI
Muqsit Azeem
2025 — conf
Sound Value Iteration for Simple Stochastic Games.
GandALF
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2024 J jnl
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 J jnl
Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský
2024 — conf
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CAV (2)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CoRR
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Sound Value Iteration for Simple Stochastic Games.
CoRR
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2022 B conf
Optimistic and Topological Value Iteration for Simple Stochastic Games.
ATVA
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Optimistic and Topological Value Iteration for Simple Stochastic Games.
CoRR
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2021 J jnl
Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2018 — conf
Generalizing specific-instance interpolation proofs with SyGuS.
ICSE (NIER)
Muqsit Azeem, Kumar Madhukar, R. Venkatesh