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
