Statistical Model Checking for Cyber-Physical Systems.

Edmund M. Clarke, Paolo Zuliani

Browse the full ATVA paper archive.