Conference: ATVA2019 (17th International Symposium on Automated Technology for Verification and Analysis)

Conference: ATVA2019 (17th International Symposium on Automated Technology for Verification and Analysis)

This page shows all presentations from this conference 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

Presentations in this collection: 1