关注
Muqsit Azeem
Muqsit Azeem
Doctoral Candidate, Technical University of Munich
在 in.tum.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Optimistic and topological value iteration for simple stochastic games
M Azeem, A Evangelidis, J Křetínský, A Slivinskiy, M Weininger
International Symposium on Automated Technology for Verification and …, 2022
152022
Direct Construction of Program Alignment Automata for Equivalence Checking
M Goyal, M Azeem, K Madhukar, R Venkatesh
arXiv preprint arXiv:2109.01864, 2021
42021
Monitizer: automating design and evaluation of neural network monitors
M Azeem, M Grobelna, S Kanav, J Křetínský, S Mohr, S Rieder
International Conference on Computer Aided Verification, 265-279, 2024
22024
Generalizing specific-instance interpolation proofs with SyGuS
M Azeem, K Madhukar, R Venkatesh
Proceedings of the 40th International Conference on Software Engineering …, 2018
22018
Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes
M Azeem, D Chakraborty, S Kanav, J Kretinsky
arXiv preprint arXiv:2411.13365, 2024
2024
Sound Value Iteration for Simple Stochastic Games
M Azeem, J Kretinsky, M Weininger
arXiv preprint arXiv:2411.11549, 2024
2024
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
M Azeem, D Chakraborty, S Kanav, J Kretinsky, M Mohagheghi, S Mohr, ...
arXiv preprint arXiv:2410.18293, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–7