Formal modelling and quantitative analysis of satellite navigation systems.

Zhaoguang Peng Yu Lu Alice Miller Chris W. Johnson Tingdi Zhao

Published in: CoRR (2014)

Keyphrases

quantitative analysis
navigation systems
qualitative analysis
vision algorithms
route planning
qualitative evaluation
traffic information
qualitative and quantitative analysis
remote sensing
autonomous robots
global positioning system
computer vision
data streams
computer vision algorithms