Saber Jafarpour

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers

2023 · arXiv (Cornell University)

This paper proposes a computationally efficient framework, based on interval analysis, for rigorous verification of nonlinear continuous-time dynamical systems with neural network controllers. Given a neural network, we use an existing verification algorithm to construct …

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes

2023

Interval Markov decision processes are a class of Markov models where the transition probabilities between the states belong to intervals. In this paper, we study the problem of efficient estimation of the optimal policies in …