C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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