Skip to main content
  • Home
  • Bio
  • Publications
  • Projects
  • Get in touch

Satisfiability Modulo Theories

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

Tags: 
Multi-Agent Systems
Multi-Robot Systems
Vehicle Routing Problem
Satisfiability Modulo Theories
Decomposition
  • Read more about Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Subscribe to RSS - Satisfiability Modulo Theories