RSS 2020, Spotlight Talk 68: Dynamic Multi-Robot Task Allocation under Uncertainty and Temporal C... - YouTube
Robotics | Free Full-Text | Development of a Practical Tool for Designing Multi-Robot Systems in Pick-and-Place Applications
![PDF] Temporal-Logic-Based Reactive Mission and Motion Planning | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/642ef69cae7eb6eff384bae489ddea045e8fee38/3-Figure1-1.png "PDF] Temporal-Logic-Based Reactive Mission and Motion Planning | Semantic Scholar")
PDF] Temporal-Logic-Based Reactive Mission and Motion Planning | Semantic Scholar
Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications - ScienceDirect
MT* : Multi-Robot Path Planning for Temporal Logic Specifications
Frontiers | Modeling and Simulation of Robotic Grasping in Simulink Through Simscape Multibody
Context-Aware Modelling for Multi-Robot Systems Under Uncertainty | Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems
Scalable Control Synthesis for Multi-Robot Systems under Temporal Logic Specifications
2020 in Review: Home Service Robotics at MIT CSAIL - Robotic Sea Bass
Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications
A formal methods approach to interpretable reinforcement learning for robotic planning | Science Robotics
Multi-robot Systems - stl-ergonomy
![PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c0f9331cade5380bb2b7683c225e125e86b3e6be/6-Figure3-1.png "PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar")
PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar
Applied Sciences | Free Full-Text | Multi-Agent Simulation Environment for Logistics Warehouse Design Based on Self-Contained Agents
Compositional Design of Multi-Robot Systems Control Software on ROS
MT* : Multi-Robot Path Planning for Temporal Logic Specifications: Paper and Code - CatalyzeX
Power line inspection using a 3D power tower model in the Gazebo simulator via STL specifications - YouTube
Instances of multi-robot motion planning problem | Download Scientific Diagram
![PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c0f9331cade5380bb2b7683c225e125e86b3e6be/5-Figure1-1.png "PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar")
PDF] Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | Semantic Scholar
Dynamic multi-robot task allocation under uncertainty and temporal constraints | SpringerLink
Machines | Free Full-Text | A Review of Path-Planning Approaches for Multiple Mobile Robots
PDF) Temporal Logic Motion Planning for Mobile Robots
LOMP: A Toolset for Optimal Multi-Robot Path Planning Subject to LTL Specifications » Hybrid & Networked Systems Lab | Boston University
Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications - ScienceDirect
Modeling and verification of contingency resolution strategies for multi- robot missions using temporal logic - Shaurya Shriyam, Satyandra K Gupta, 2019
