Rewrite-Based Decomposition of Signal Temporal Logic Specifications Tags: DecompositionMulti-Agent SystemsMulti-Robot SystemsSignal Temporal LogicVehicle Routing ProblemMixed Integer Linear Programming Read more about Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams Tags: Multi-Agent SystemsMulti-Robot SystemsVehicle Routing ProblemSatisfiability Modulo TheoriesDecomposition Read more about Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
