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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Learning Stabilizing Policies in Stochastic Control Systems


May 24, 2022
Đorđe Žikelić, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger

* ICLR 2022 Workshop on Socially Responsible Machine Learning (SRML) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales


Dec 17, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

* Accepted by AAAI 2022 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Infinite Time Horizon Safety of Bayesian Neural Networks


Nov 04, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

* To appear in NeurIPS 2021 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Graph Planning with Expected Finite Horizon


Feb 10, 2018
Krishnendu Chatterjee, Laurent Doyen


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
>>