Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties.

Published in: FMCAD (2019)

Keyphrases

evolutionary algorithm
machine learning
artificial neural networks
model checking
topological properties
data sets
decision making
multimedia
feature extraction
multi agent systems
relational databases