Login / Signup
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops.
Michael Everett
Rudy Bunel
Shayegan Omidshafiei
Published in:
CoRR (2022)
Keyphrases
</>
feedback loops
reachability analysis
model checking
neural network
markov decision processes
network architecture
feedback loop
machine learning
reinforcement learning
objective function
fuzzy cognitive maps
blocks world