ML Anthology

Katz, Sydney M.

1 publications

MLJ 2023 Generating Probabilistic Safety Guarantees for Neural Network Controllers Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer