Backward Reachability Analysis for Neural Feedback Loops.
Nicholas RoberMichael EverettJonathan P. HowPublished in: CoRR (2022)
Keyphrases
- feedback loops
- reachability analysis
- markov decision processes
- model checking
- network architecture
- feedback loop
- fuzzy cognitive maps
- incremental algorithms
- neural network
- timed automata
- state space
- finite state
- decision making
- real time
- associative memory
- dynamic programming
- computational complexity
- machine learning