EasyChair Smart SlideDocs/Log in
Author: Krishnendu Chatterjee

This page shows all presentations of this author published in EasyChair Smart Slide.

Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights

Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights

Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda and Raimundo Saona Urmeneta

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotný and Dominik Velan

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee and Viktor Toman

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotný, Dominik Velan and Florian Zuleger

Presentations in this collection: 5
Copyright © 2002 – 2025 EasyChair