Erion Plaku: Research: Combined Task and Motion Planning
Cost-Aware Path Planning under Co-Safe Temporal Logic Specifications
Temporal Logic-based Reactive Mission and Motion Planning
Temporal Logic Planning
Distributed Implementations of Global Temporal Logic Motion Specifications
Control and Intelligent Robotics Lab » Learning-based Planning with Temporal Logic Constraints
Temporal logic robot control based on automata learning of environmental dynamics | Semantic Scholar
Temporal logic robot control based on automata learning of environmental dynamics | Semantic Scholar
Frontiers | Compositional RL Agents That Follow Language Commands in Temporal Logic
A formal methods approach to interpretable reinforcement learning for robotic planning | Science Robotics
Temporal logic motion planning for dynamic robots - ScienceDirect
Projects - Qitong Gao
PDF) Temporal Logic Motion Planning for Mobile Robots
Temporal Logic Motion Planning for Mobile Robots
Temporal logic motion planning for dynamic robots - ScienceDirect
Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications | DeepAI
Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks
Robotics, Temporal Logic and Stream Reasoning
Lecture 3 Linear Temporal Logic (LTL)
PDF) Optimal temporal logic planning in probabilistic semantic maps
Temporal Logic Motion Planning for Mobile Robots
Reinforcement Learning with Temporal Logic Rewards
DoS-Resilient Multi-Robot Temporal Logic Motion Planning | Semantic Scholar
Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints
PDF) Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
