User Preferences

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams

Tags: 

Multi-Robot Systems

Multi-Agent Systems

User Preferences

Temporal Relaxation

Time-Window Temporal Logic

Linear Temporal Logic

Mixed Integer Linear Programming

Automata

• Read more about Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams

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

Specifying User Preferences using Weighted Signal Temporal Logic

Tags: 

Signal Temporal Logic

User Preferences

Control Synthesis

Model Predictive Control

Mixed Integer Linear Programming

• Read more about Specifying User Preferences using Weighted Signal Temporal Logic