Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions.

Benton Clark Varun Hariprasad Hasan A. Poonawala

Published in: CoRR (2023)

Keyphrases

provably correct
situation calculus
formal methods
sensor networks
data driven
machine learning
neural network
database systems
natural language
multi sensor
obstacle avoidance