Provably-Correct and Comfortable Adaptive Cruise Control.

Matthias Althoff Sebastian Maierhofer Christian Pek

Published in: IEEE Trans. Intell. Veh. (2021)

Keyphrases

provably correct
adaptive control
control system
robotic systems
formal methods
optimal control
unmanned aerial vehicles
control strategy
user friendly
real time
control method
reinforcement learning
control theory
case study
adaptive neural
situation calculus
constraint satisfaction
machine learning