Stochastic limit-average games are in EXPTIME

von Chatterjee, Krishnendu
Veröffentlicht in International journal of game theory (2008)

Sensor Synthesis for POMDPs with Reachability Objectives

von Chatterjee, Krishnendu
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings

Veröffentlicht 2013

On Satisficing in Quantitative Games

von Bansal, Suguman
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

von Chatterjee, Krishnendu
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 6 of 7 (2023)

Algorithms and Conditional Lower Bounds for Planning Problems

von Chatterjee, Krishnendu
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings

Veröffentlicht 2010

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

von Chatterjee, Krishnendu
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 7 of 7 (2023)

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

von Chatterjee, Krishnendu
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Stochastic Games with Lexicographic Reachability-Safety Objectives

von Chatterjee, Krishnendu
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems

von Chatterjee, Krishnendu
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Stateless Model Checking Under a Reads-Value-From Equivalence

von Agarwal, Pratyush
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis

von Chatterjee, Krishnendu
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

von Chatterjee, Krishnendu
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

Infinite Time Horizon Safety of Bayesian Neural Networks

von Lechner, Mathias
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 13 of 36 (2022)

On Lexicographic Proof Rules for Probabilistic Termination

von Chatterjee, Krishnendu
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday

Veröffentlicht 2022

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth

von Asadi, Ali
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control

von Bastankhah, Mahsa
Veröffentlicht in FC (27. : 2023 : Bol, Brač) Financial cryptography and data security ; Part 1 (2024)