Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.

Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister

Browse the full RV paper archive.