Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions.

Benton Clark Varun Hariprasad Hasan A. Poonawala

Published in: IROS (2023)

Keyphrases

provably correct
sensor data
situation calculus
formal methods
data driven
sensor networks
real time
genetic algorithm
case study
relational databases
error estimates