Distributionally Robust Statistical Verification with Imprecise Neural Networks

Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control 2025
Publication statusPublished - 2025

Cite this