A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.

Inna Pereverzeva Elena Troubitsyna Linas Laibinis

Published in: SERENE (2012)

Keyphrases

fault tolerant
robotic systems
fault tolerance
safety critical
distributed systems
load balancing
mobile robot
case study
state machine
vision system
software engineering
high availability
autonomous robots
database management systems
data streams
database systems
real time
object manipulation