Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation.

Matthew Newton Antonis Papachristodoulou

Published in: CDC (2022)

Keyphrases

feedback loops
reachability analysis
markov decision processes
model checking
timed automata
fuzzy cognitive maps
network architecture
neural network
incremental algorithms
genetic algorithm
feedback loop
machine learning
multi agent systems
artificial neural networks
state space