The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele Antti Valmari Tim A. C. Willemse

Published in: CoRR (2019)

Keyphrases

partial order reduction
model checking
petri net
data sets
preprocessing
image details
training data
multiscale
special case
inconsistent information