Login / Signup
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
Thomas Neele
Antti Valmari
Tim A. C. Willemse
Published in:
CoRR (2020)
Keyphrases
</>
partial order reduction
model checking
petri net
databases
real world
information systems
three dimensional
feature extraction
multi agent
search algorithm
multi agent systems
preprocessing