Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems Tags: Formal MethodsSignal Temporal LogicPartial SatisfactionMixed Integer Linear ProgrammingMulti-Robot Systems Read more about Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems