EasyChair Smart SlideDocs/Log in
Author: Dominik Velan

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

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: 2
Copyright © 2002 – 2024 EasyChair