Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes.

Taha Entesari Mahyar Fazlyab

Published in: L4DC (2023)

Keyphrases

neural network
reachability analysis
artificial neural networks
adaptive systems
artificial intelligence
np hard
low cost
markov decision processes
neural network model
long run