Krishnendu Chatterjee

Institute of Science and Technology Austria (ISTA)

8 papers in the IJCAI proceedings

IJCAI 2026

Automated Approach for Solving Infinite-state Polynomial Reachability Games

with Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Maximilian Seeliger, Đorđe Žikelić

doi:10.24963/ijcai.2026/6

Details PDF

IJCAI 2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties

with S. Akshay, Tobias Meggendorfer, Đorđe Žikelić

doi:10.24963/ijcai.2024/1

Details PDF

Solving Long-run Average Reward Robust MDPs via Stochastic Games

with Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić

doi:10.24963/ijcai.2024/741

Details PDF

IJCAI 2021

Solving Partially Observable Stochastic Shortest-Path Games

with Petr Tomášek, Karel Horák, Aditya Aradhye, Branislav Bošanský

doi:10.24963/ijcai.2021/575

Details PDF

IJCAI 2018

Computational Approaches for Stochastic Shortest Path on Succinct MDPs

with Hongfei Fu, Amir Goharshady, Nastaran Okati

doi:10.24963/ijcai.2018/653

Details PDF

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives

with Adrián Elgyütt, Petr Novotný, Owen Rouillé

doi:10.24963/ijcai.2018/652

Details PDF

Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs

with Karel Horák, Branislav Bošanský

doi:10.24963/ijcai.2018/662

Details PDF

IJCAI 2016

Robust Draws in Balanced Knockout Tournaments

with Rasmus Ibsen-Jensen, Josef Tkadlec

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings