A Control Architecture for Provably-Correct Autonomous Driving Tags: Autonomous CarModel Predictive ControlControl SynthesisMixed Integer Linear Programming Read more about A Control Architecture for Provably-Correct Autonomous Driving
Specifying User Preferences using Weighted Signal Temporal Logic Tags: Signal Temporal LogicUser PreferencesControl SynthesisModel Predictive ControlMixed Integer Linear Programming Read more about Specifying User Preferences using Weighted Signal Temporal Logic
