Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications

Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications

Don't Always Ask, Don't Always Tell: Judicious Mutual Modeling in Cooperative Multiagent SystemsПодробнее

Don't Always Ask, Don't Always Tell: Judicious Mutual Modeling in Cooperative Multiagent Systems

Autonomy Talks - Guillaume Sartoretti: Distributed Collaboration in Robotic Multi-​Agent SystemsПодробнее

Autonomy Talks - Guillaume Sartoretti: Distributed Collaboration in Robotic Multi-​Agent Systems

Simulation of Distributed Plan Under Temporal LogicПодробнее

Simulation of Distributed Plan Under Temporal Logic

KR 2021 Tutorial: Planning with Multi-agent, Flexible, Temporal, Epistemic and Contingent AspectsПодробнее

KR 2021 Tutorial: Planning with Multi-agent, Flexible, Temporal, Epistemic and Contingent Aspects

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

Multi-agent Motion Planning from Signal Temporal Logic Specifications

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

Part 1: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

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

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization (ICRA 2020)

Distributed Multi-Agent Mission Planning for Communication Limited EnvironmentsПодробнее

Distributed Multi-Agent Mission Planning for Communication Limited Environments

CoRL 2020, Spotlight Talk 498: Learning from Demonstrations using Signal Temporal LogicПодробнее

CoRL 2020, Spotlight Talk 498: Learning from Demonstrations using Signal Temporal Logic

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

Jana Tumova - Motion planning with temporal logic tasks and constraints

Physics-based Motion Planning with Temporal Logic SpecificationsПодробнее

Physics-based Motion Planning with Temporal Logic Specifications

DP2Подробнее

DP2

Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Movie 1Подробнее

Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Movie 1

Distributed Mission Planning for Heterogeneous Multi-Agent TeamsПодробнее

Distributed Mission Planning for Heterogeneous Multi-Agent Teams

DoS-Resilient Multi-Robot Temporal Logic Motion PlanningПодробнее

DoS-Resilient Multi-Robot Temporal Logic Motion Planning

Decentralized Robust Control of Coupled Multi-Agent Systems under Local STL Tasks [ACC 2018]Подробнее

Decentralized Robust Control of Coupled Multi-Agent Systems under Local STL Tasks [ACC 2018]

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

Part 2: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

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

Part 3: 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Подробнее

RSS 2021, Early Career Keynote: Jana Tumova — Formal methods for robot planning