| Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Ð Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 134 | 2017 |
| Scalable verification of quantized neural networks TA Henzinger, M Lechner, Đ Žikelić Proceedings of the AAAI conference on artificial intelligence 35 (5), 3787-3795, 2021 | 67* | 2021 |
| Learning control policies for stochastic systems with reach-avoid guarantees Đ Žikelić, M Lechner, TA Henzinger, K Chatterjee Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11926 …, 2023 | 50 | 2023 |
| Stability verification in stochastic control systems via neural network supermartingales M Lechner, Đ Žikelić, K Chatterjee, TA Henzinger Proceedings of the aaai conference on artificial intelligence 36 (7), 7326-7336, 2022 | 50 | 2022 |
| Sound and complete certificates for quantitative termination analysis of probabilistic programs K Chatterjee, AK Goharshady, T Meggendorfer, Đ Žikelić International Conference on Computer Aided Verification, 55-78, 2022 | 45 | 2022 |
| Proving non-termination by program reversal K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 28 | 2021 |
| Compositional policy learning in stochastic control systems with formal guarantees Đ Žikelić, M Lechner, A Verma, K Chatterjee, T Henzinger Advances in Neural Information Processing Systems 36, 47849-47873, 2023 | 27 | 2023 |
| A learner-verifier framework for neural network controllers and certificates of stochastic systems K Chatterjee, TA Henzinger, M Lechner, Đ Žikelić International Conference on Tools and Algorithms for the Construction and …, 2023 | 25 | 2023 |
| On lexicographic proof rules for probabilistic termination K Chatterjee, E Kafshdar Goharshady, P Novotný, J Zárevúcky, Đ Žikelić Formal Aspects of Computing 35 (2), 1-25, 2023 | 22 | 2023 |
| Infinite time horizon safety of Bayesian neural networks M Lechner, Đ Žikelić, K Chatterjee, T Henzinger Advances in Neural Information Processing Systems 34, 10171-10185, 2021 | 22 | 2021 |
| Bidding mechanisms in graph games G Avni, TA Henzinger, Đ Žikelić Journal of Computer and System Sciences 119, 133-144, 2021 | 22 | 2021 |
| Quantitative bounds on resource usage of probabilistic programs K Chatterjee, AK Goharshady, T Meggendorfer, Đ Žikelić Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 362-391, 2024 | 21 | 2024 |
| Optimizing expectation with guarantees in POMDPs K Chatterjee, P Novotný, G Pérez, JF Raskin, Đ Žikelić Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 21 | 2017 |
| Learning provably stabilizing neural controllers for discrete-time stochastic systems M Ansaripour, K Chatterjee, TA Henzinger, M Lechner, Đ Žikelić International Symposium on Automated Technology for Verification and …, 2023 | 16 | 2023 |
| Infinite-duration all-pay bidding games G Avni, I Jecker, Đ Žikelić Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021 | 16 | 2021 |
| Solving long-run average reward robust mdps via stochastic games K Chatterjee, EK Goharshady, M Karrabi, P Novotný, Đ Žikelić arXiv preprint arXiv:2312.13912, 2023 | 12 | 2023 |
| MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives S Akshay, K Chatterjee, T Meggendorfer, Đ Žikelić International Conference on Computer Aided Verification, 86-112, 2023 | 12 | 2023 |
| Sound and complete witnesses for template-based verification of LTL properties on polynomial programs K Chatterjee, A Goharshady, E Goharshady, M Karrabi, Đ Žikelić International Symposium on Formal Methods, 600-619, 2024 | 11 | 2024 |
| Quantization-aware interval bound propagation for training certifiably robust quantized neural networks M Lechner, Đ Žikelić, K Chatterjee, TA Henzinger, D Rus Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14964 …, 2023 | 9 | 2023 |
| Differential cost analysis with simultaneous potentials and anti-potentials Đ Žikelić, BYE Chang, P Bolignano, F Raimondi Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 9 | 2022 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
