Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming

Probabilistic Data Association for Semantic SLAM