DoS-Resilient Multi-Robot Temporal Logic Motion Planning

Optimal Multi-Robot Path Planning with Temporal Logic ConstraintsПодробнее

Robust Multi-Robot Path Planning with Temporal Logic ConstraintsПодробнее

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization (ICRA 2020)Подробнее

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic ConstraintsПодробнее

SMC-based Linear temporal logic motion planning for teams of robotsПодробнее

MAPS2: Multi-Robot Anytime Motion Planning under Signal Temporal Logic SpecificationsПодробнее

Part 1: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic TasksПодробнее

RSS 2021, Early Career Keynote: Jana Tumova — Formal methods for robot planningПодробнее

Part 3: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic TasksПодробнее

Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic SpecificationsПодробнее

LTL Motion Planning using Satisfiability Modulo Convex ProgrammingПодробнее

Distributed Nonlinear Trajectory Optimization for Multi-Robot Motion PlanningПодробнее

Stochastic Robustness Interval for Motion Planning with Signal Temporal LogicПодробнее

robotdemo(temporal logic)Подробнее

Jana Tumova - Motion planning with temporal logic tasks and constraintsПодробнее

Multi-agent Motion Planning from Signal Temporal Logic SpecificationsПодробнее

LCSS2022_Online Motion Planning with Soft Metric Interval Temporal LogicПодробнее

Autonomy Talks - Cristian-Ioan Vasile: Robust and Relaxed Temporal Logic Planning for Robot SystemsПодробнее