| Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Đ Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 127 | 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 | 42* | 2021 |
| 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 | 34 | 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 | 31 | 2022 |
| 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 | 26 | 2023 |
| Proving non-termination by program reversal K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 25 | 2021 |
| Bidding mechanisms in graph games G Avni, TA Henzinger, Đ Žikelić Journal of Computer and System Sciences 119, 133-144, 2021 | 21 | 2021 |
| 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 | 20 | 2021 |
| 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 | 18 | 2017 |
| On lexicographic proof rules for probabilistic termination K Chatterjee, EK Goharshady, P Novotný, J Zárevúcky, Đ Žikelić Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 17 | 2021 |
| 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 | 13 | 2023 |
| Infinite-duration all-pay bidding games G Avni, I Jecker, Đ Žikelić Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021 | 13 | 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 | 11 | 2024 |
| 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, 2024 | 10 | 2024 |
| 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 | 6 | 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 | 6 | 2022 |
| 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 | 5 | 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 | 5 | 2023 |
| Algorithms and Hardness Results for Computing Cores of Markov Chains A Ahmadi, K Chatterjee, AK Goharshady, T Meggendorfer, R Safavi, ... 42nd IARCS Annual Conference on Foundations of Software Technology and …, 2022 | 5 | 2022 |
| 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 | 4 | 2024 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
