When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning Tags: Motion and Path PlanningAutomataAutonomous CarLinear Temporal LogicMinimum-Violation Read more about When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
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
Reactive Sampling-Based Path Planning with Temporal Logic Specifications Tags: Sampling-based MethodsMotion and Path PlanningAutomataLinear Temporal Logic Read more about Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Learning and Planning with Logical Automata Tags: Linear Temporal LogicLearningAutomata Read more about Learning and Planning with Logical Automata
