Reasoning about safety properties in a JVM-like environment.

Philip W. L. Fong

Published in: Sci. Comput. Program. (2007)

Keyphrases

real time
dynamic environments
mobile robot
desirable properties
data sets
test bed
complex environments
formal theory
robotic systems
structural properties
environmental conditions