Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking.

Marco Esposito, Leonardo Picchiami

Browse the full LPNMR paper archive.