2 citations · 2 across the 10 of their papers we have counts for
4 papers · 1 filter
The FABRIC Strategy for Verifying Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by neural networks, and…
A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
Forward reachability analysis is the predominant approach for verifying reach-avoid properties in neural feedback systems (dynamical systems controlled by neural networks). This do…
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong +1
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex nature of neural networks, howeve…
Learning an Urban Air Mobility Encounter Model from Expert Preferences
Sydney M. Katz, Anne-Claire Le Bihan, Mykel J. Kochenderfer
Airspace models have played an important role in the development and evaluation of aircraft collision avoidance systems for both manned and unmanned aircraft. As Urban Air Mobility…