Automata-based Optimal Planning with Relaxed Specifications Tags: AutomataUser PreferencesControl SynthesisTemporal RelaxationTime-Window Temporal LogicLinear Temporal Logic Read more about Automata-based Optimal Planning with Relaxed Specifications
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