Chatterjee, Krishnendu

24 publications

UAI 2025 Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee

AAAI 2025 Linear Equations with Min and Max Operators: Computational Complexity Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda

UAI 2025 Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes Ali Asadi, Krishnendu Chatterjee, Jakob Raaij

AAAI 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

IJCAI 2024 Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

ICML 2024 Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee

IJCAI 2024 Solving Long-Run Average Reward Robust MDPs via Stochastic Games Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic

NeurIPS 2023 Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas Henzinger

AAAI 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

AAAI 2023 Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

AAAI 2022 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

NeurIPS 2021 Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas Henzinger

IJCAI 2021 Solving Partially Observable Stochastic Shortest-Path Games Petr Tomásek, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee

AAAI 2020 Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala

IJCAI 2018 Computational Approaches for Stochastic Shortest Path on Succinct MDPs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati

IJCAI 2018 Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé

IJCAI 2018 Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs Karel Horák, Branislav Bosanský, Krishnendu Chatterjee

AAAI 2017 Optimizing Expectation with Guarantees in POMDPs Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

AAAI 2016 A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

IJCAI 2016 Robust Draws in Balanced Knockout Tournaments Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec

AAAI 2015 Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI 2015 Optimal Cost Almost-Sure Reachability in POMDPs Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia

UAI 2013 POMDPs Under Probabilistic Semantics Krishnendu Chatterjee, Martin Chmelik

UAI 2005 Counterexample-Guided Planning Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar