Skip to main content
  • Home
  • Bio
  • Publications
  • Projects
  • Get in touch

Linear Temporal Logic

When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning

Tags: 
Motion and Path Planning
Automata
Autonomous Car
Linear Temporal Logic
Minimum-Violation
  • Read more about When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning

Automata-based Optimal Planning with Relaxed Specifications

Tags: 
Automata
User Preferences
Control Synthesis
Temporal Relaxation
Time-Window Temporal Logic
Linear Temporal Logic
  • Read more about Automata-based Optimal Planning with Relaxed Specifications

Reactive Sampling-Based Path Planning with Temporal Logic Specifications

Tags: 
Sampling-based Methods
Motion and Path Planning
Automata
Linear Temporal Logic
  • Read more about Reactive Sampling-Based Path Planning with Temporal Logic Specifications

Learning and Planning with Logical Automata

Tags: 
Linear Temporal Logic
Learning
Automata
  • Read more about Learning and Planning with Logical Automata
Subscribe to RSS - Linear Temporal Logic