Search Results for author:
Found 2 papers, 1 papers with code
Using Surprise Index for Competency Assessment in Autonomous Decision-Making
This paper considers the problem of evaluating an autonomous system's competency in performing a task, particularly when working in dynamic and uncertain environments.
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
A key step in our method is the employment of the recent convex approximation results for NNs to find piece-wise linear bounds, which allow the formulation of the barrier function synthesis problem as a sum-of-squares optimization program.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
