| Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Ð Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 119 | 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 | 39* | 2021 |
| 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 | 28 | 2022 |
| 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 | 28 | 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 | 24 | 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 |
| 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 | 19 | 2023 |
| Bidding mechanisms in graph games G Avni, TA Henzinger, Đ Žikelić Journal of Computer and System Sciences 119, 133-144, 2021 | 19 | 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 | 17 | 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 | 14 | 2021 |
| Infinite-duration all-pay bidding games G Avni, I Jecker, Đ Žikelić Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021 | 12 | 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 | 8 | 2024 |
| 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 | 6 | 2023 |
| 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 | 5 | 2024 |
| MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives S Akshay, K Chatterjee, T Meggendorfer, Đ Žikelić arXiv preprint arXiv:2305.16796, 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 |
| 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 | 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 |
| 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 | 3 | 2023 |
| Bidding graph games with partially-observable budgets G Avni, I Jecker, Đ Žikelić Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5464-5471, 2023 | 3 | 2023 |
Krishnendu ChatterjeeProfessor, IST AustriaBestätigte E-Mail-Adresse bei ist.ac.at
