3 papers
cs.FL2019
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2
A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented duri…
cs.LO2018
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +3
Vector Addition Systems with States (VASS) provide a well-known and fundamental model for the analysis of concurrent processes, parameterized systems, and are also used as abstract…
cs.LO2017
Efficient Algorithms for Checking Fast Termination in VASS
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2
Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left un…