Assessing Dependability of Multi-robotic Systems within Formal Development.

Elena Troubitsyna

Published in: ICSRS (2022)

Keyphrases

robotic systems
mobile robot
vision system
autonomous robots
artificial intelligence
knowledge based systems
development process
indoor environments
control architecture
software engineering
multi modal
future development
robotic manipulator
object manipulation
case study
formal methods