SPORE: Combining Symmetry and Partial Order Reduction.

Michalis Kokologiannakis Iason Marmanis Viktor Vafeiadis

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

partial order reduction
model checking
petri net
neural network
pattern recognition
artificial intelligence
symmetry detection
knowledge base
high quality
image sequences
bilateral symmetry
multiresolution
real time
three dimensional
feature selection
search engine
data mining
data sets