Statistical Verification Framework for Platooning System of Systems with Uncertainty.

Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae

Browse the full APSEC paper archive.