Achieving Distributed Control through Model Checking.

Susanne Graf, Doron A. Peled, Sophie Quinton

Browse the full CAV paper archive.