52 citations · 201 across the 50 of their papers we have counts for
3 papers · 1 filter
Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems
Tanmay Khandait, Preetom Biswas, Hideki Okamoto +3
Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely…
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
Bardh Hoxha, Oliver Schön, Hideki Okamoto +2
We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quanti…
Neural Network Repair with Reachability Analysis
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran +3
Safety is a critical concern for the next generation of autonomy that is likely to rely heavily on deep neural networks for perception and control. Formally verifying the safety an…