12 citations · 19 across the 18 of their papers we have counts for
3 papers · 1 filter
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes
Saber Jafarpour, Samuel Coogan
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 ef…
Interval Signal Temporal Logic from Natural Inclusion Functions
Luke Baird, Akash Harapanahalli, Samuel Coogan
We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal Temporal Logic (\ISTL). Given an STL formula, we consider an interval inclusion function for…
Forward Invariance in Neural Network Controlled Systems
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
We present a framework based on interval analysis and monotone systems theory to certify and search for forward invariant sets in nonlinear systems with neural network controllers.…