Formal design of a provably safe robotic roundabout system.

Jeffrey Duperret Michael R. Hafner Domitilla Del Vecchio

Published in: IROS (2010)

Keyphrases

real time
user interface
knowledge based systems
formal model
database
neural network
real world
information retrieval
learning algorithm
e learning
knowledge base
optimal design
formal methods