Login / Signup

DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops.

Michael EverettRudy BunelShayegan Omidshafiei
Published in: IEEE Control. Syst. Lett. (2023)
Keyphrases
  • feedback loops
  • reachability analysis
  • markov decision processes
  • model checking
  • network architecture
  • neural network
  • decision making
  • feedback loop
  • fuzzy cognitive maps
  • real time
  • search algorithm
  • timed automata