Partial Satisfaction

Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems

Tags: 

Formal Methods

Signal Temporal Logic

Partial Satisfaction

Mixed Integer Linear Programming

Multi-Robot Systems

• Read more about Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems