Formalising Observer Theory for Environment-Sensitive Bisimulation.

Jeremy E. Dawson Alwen Tiu

Published in: TPHOLs (2009)

Keyphrases

mobile robot
real time
virtual world
optimal solution
theoretical framework
formal theory
computer vision
decision making
database systems
expert systems
dynamic environments
test bed
complex environments
theoretical basis
mobile robotics