Dominik Velan

According to our database, Dominik Velan authored at least 4 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Efficient Analysis of VASS Termination Complexity.

Antonín Kucera, Jérôme Leroux, Dominik Velan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Efficient Algorithms for Checking Fast Termination in VASS.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan

CoRR, 2017