wovepaper — the arXiv observatory

NewEvery arXiv paper, its researchers & institutions — mapped.

papers

Publications (3)

Efficient Algorithms for Checking Fast Termination in VASS

TomÃ¡Å¡ BrÃ¡zdil, Krishnendu Chatterjee, AntonÃn KuÄera +2

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

TomÃ¡Å¡ BrÃ¡zdil, Krishnendu Chatterjee, AntonÃn KuÄera +2

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

TomÃ¡Å¡ BrÃ¡zdil, Krishnendu Chatterjee, AntonÃn KuÄera +3