Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.

Arnaud Dieumegard Ning Ge Eric Jenn

Published in: NFM (2017)

Keyphrases

anti collision
mobile robot
artificial intelligence
human robot interaction
intelligent systems
radio frequency
image retrieval
operating system
humanoid robot