Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.

Mikael Asplund, Jakob Lovhall, Emlia Villani

Browse the full PRDC paper archive.