EasyChair Smart SlideHelp/Log in
Author: Krishnendu Chatterjee

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

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: 4
Copyright © 2002 – 2023 EasyChair