Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.

Gilles Geeraerts Jean-François Raskin Laurent Van Begin

Published in: FSTTCS (2004)

Keyphrases

times faster
data structure
computational cost
optimization problems
computationally efficient
orders of magnitude
computationally expensive
real time
data sets
databases
case study
computational complexity
artificial neural networks
significant improvement
recently developed
efficient implementation