Telepresence Robots for Dynamic, Safety-Critical Environments.

Sachiko Matsumoto Laurel D. Riek

Published in: HRI (Companion) (2024)

Keyphrases

safety critical
dynamic environments
mobile robot
robotic systems
formal methods
autonomous navigation
cooperative
fault tolerant
embedded systems
human operators
agent architecture
safety analysis
real time
model checking
adaptive systems
nuclear power plant