Reachability analysis for neural feedback systems using regressive polynomial rule inference.

Souradeep Dutta Xin Chen Sriram Sankaranarayanan

Published in: HSCC (2019)

Keyphrases

reachability analysis
network architecture
neural network
distributed systems
model checking
machine learning
reinforcement learning
low cost
inference process
feedback mechanisms