Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Krishnendu Chatterjee

On Satisficing in Quantitative Games


Jan 06, 2021
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi

* arXiv admin note: text overlap with arXiv:2010.02055 

  Access Paper or Ask Questions

Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes


Feb 27, 2020
Tomas Brazdil, Krishnendu Chatterjee, Petr Novotny, Jiri Vahala

* Published on AAAI 2020 

  Access Paper or Ask Questions

Computational Approaches for Stochastic Shortest Path on Succinct MDPs


Jul 17, 2018
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati


  Access Paper or Ask Questions

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


Apr 30, 2018
Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé

* Full version of a paper published at IJCAI/ECAI 2018 

  Access Paper or Ask Questions

Algorithms and Conditional Lower Bounds for Planning Problems


Apr 19, 2018
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil

* Accepted at ICAPS'18 

  Access Paper or Ask Questions

Graph Planning with Expected Finite Horizon


Feb 10, 2018
Krishnendu Chatterjee, Laurent Doyen


  Access Paper or Ask Questions

Sensor Synthesis for POMDPs with Reachability Objectives


Sep 29, 2017
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu

* arXiv admin note: text overlap with arXiv:1511.08456 

  Access Paper or Ask Questions

Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs


Jun 21, 2017
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak


  Access Paper or Ask Questions

Optimizing Expectation with Guarantees in POMDPs (Technical Report)


Jan 29, 2017
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Đorđe Žikelić


  Access Paper or Ask Questions

Stochastic Shortest Path with Energy Constraints in POMDPs


May 11, 2016
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Anchit Gupta, Petr Novotný

* Technical report accompanying a paper published in proceedings of AAMAS 2016 

  Access Paper or Ask Questions

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs


Nov 26, 2015
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

* Full version of "A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs" AAAI 2016 

  Access Paper or Ask Questions

Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications


Feb 18, 2015
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta, Ayush Kanodia


  Access Paper or Ask Questions

MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives


Jan 13, 2015
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera

* Extended version for a TACAS 2015 tool demo paper 

  Access Paper or Ask Questions

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games


Nov 14, 2014
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

* A conference version of the paper will appear in AAAI 2015 

  Access Paper or Ask Questions

Optimal Cost Almost-sure Reachability in POMDPs


Nov 14, 2014
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta, Ayush Kanodia

* Full Version of Optimal Cost Almost-sure Reachability in POMDPs, AAAI 2015. arXiv admin note: text overlap with arXiv:1207.4166 by other authors 

  Access Paper or Ask Questions

POMDPs under Probabilistic Semantics


Aug 09, 2014
Krishnendu Chatterjee, Martin Chmelik

* Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013) 

  Access Paper or Ask Questions

Generalized Risk-Aversion in Stochastic Multi-Armed Bandits


May 05, 2014
Alexander Zimin, Rasmus Ibsen-Jensen, Krishnendu Chatterjee


  Access Paper or Ask Questions

Counterexample-guided Planning


Jul 04, 2012
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

* Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005) 

  Access Paper or Ask Questions