Harrison Delecki, Anthony Corso 0001, Mykel J. Kochenderfer. Model-based Validation as Probabilistic Inference. In Nikolai Matni, Manfred Morari, George J. Pappas, editors, Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Volume 211 of Proceedings of Machine Learning Research, pages 825-837, PMLR, 2023. [doi]
Abstract is missing.