POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Chao Huang Jiameng Fan Xin Chen Wenchao Li Qi Zhu

Published in: ATVA (2022)

Keyphrases

neural network
management system
real time
artificial neural networks
lightweight
data sets
fuzzy logic
intelligent systems
data mining
multi agent
distributed systems
knowledge based systems
learning systems
theoretical framework