Approximate Partial Order Reduction.

Chuchu Fan Zhenqi Huang Sayan Mitra

Published in: FM (2018)

Keyphrases

partial order reduction
model checking
petri net
clustering algorithm
image sequences
real world
information retrieval
data structure
artificial neural networks
control system
probabilistic model
exact solution