A Case Study on Using Probabilistic Verification to Find Failures in a Cooperative Driving Application.

Shou-pon Lin, Nicholas F. Maxemchuk

Browse the full VTC paper archive.