Login / Signup
Robotics Component Verification on ISS ROKVISS Preliminary Results for Telepresence.
Carsten Preusche
Detlef Reintsema
Klaus Landzettel
Gerd Hirzinger
Published in:
IROS (2006)
Keyphrases
</>
autonomous navigation
computer vision
virtual reality
artificial intelligence
virtual environment
multi user
machine intelligence
concurrent systems
verification method
model checking
formal verification
false acceptance
real time
dynamic environments
software development
multi agent
data mining