Muqsit Azeem

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Evaluation Criteria

Nash Equilibria

Top Venues

Publications

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CAV (2) (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CoRR (2024)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. CoRR (2022)
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR (2021)
Muqsit Azeem, Kumar Madhukar, R. Venkatesh
Generalizing specific-instance interpolation proofs with SyGuS. ICSE (NIER) (2018)