Dominik Velan

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

Probabilistic Interpretation

Expected Values

Top Venues

Publications

Antonín Kucera, Jérôme Leroux, Dominik Velan
Efficient Analysis of VASS Termination Complexity. LICS (2020)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Efficient Algorithms for Checking Fast Termination in VASS. CoRR (2017)