Abstract: The control synthesis of a dynamic system subject to a signal temporal logic (STL) specification is commonly formulated as a mixed-integer linear/convex programming (MILP/ MICP) problem.
Abstract: In many practical scenarios, multi-robot systems are envisioned to support humans in executing complicated tasks within structured environments, such as search-and-rescue tasks. We propose a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback