Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.

Antonio Cau Chris Czarnecki Hussein Zedan

Published in: FTRTFT (1998)

Keyphrases

high accuracy
provably correct
similarity measure
control system
significant improvement
detection method
real time
preprocessing
pairwise
probabilistic model
mathematical model