Reachability Analysis of Neural Feedback Loops.

Michael Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How

Published in: CoRR (2021)

Keyphrases

feedback loops
reachability analysis
model checking
markov decision processes
feedback loop
timed automata
fuzzy cognitive maps
network architecture
neural network
incremental algorithms
state space
finite state
real time
linear programming