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

Mikael Asplund Jakob Lovhall Emília Villani

Published in: PRDC (2017)

Keyphrases

group membership
protocol specification
specification language
formal verification
asynchronous circuits
high level
cooperative
dynamic environments
model checking
formal methods
data management
multiagent systems
formal specification
multiple agents