C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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