Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Yihao Zhang Zeming Wei Xiyue Zhang Meng Sun

Published in: SEKE (2023)

Keyphrases

formal methods
formal analysis
model checking
fuzzy neural network
feedforward neural networks
data sets
data mining
artificial intelligence
information systems
web services
computational efficiency
colored petri nets