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 | 15 | 2022 |
Direct Construction of Program Alignment Automata for Equivalence Checking M Goyal, M Azeem, K Madhukar, R Venkatesh arXiv preprint arXiv:2109.01864, 2021 | 4 | 2021 |
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 | 2 | 2024 |
Generalizing specific-instance interpolation proofs with SyGuS M Azeem, K Madhukar, R Venkatesh Proceedings of the 40th International Conference on Software Engineering …, 2018 | 2 | 2018 |
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 |