Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.

Konsta Karsisto Antti Valmari

Published in: FTRTFT (1996)

Keyphrases

collision avoidance
path planning
tcp ip
mobile robot
dynamic environments
cryptographic protocols
model checking
visual navigation
formation control
pattern recognition
protocol specification