Cover Image

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nawaz, Farhad, Peng, Shaoting, Lindemann, Lars, Figueroa, Nadia, Matni, Nikolai
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Complex Motion Plans using Neural ODEs with Safety and Stability Guarantees
by: Nawaz, Farhad, et al.
Published: (2023)

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
by: Mirzaeedodangeh, Omid, et al.
Published: (2025)

Graph-based Path Planning with Dynamic Obstacle Avoidance for Autonomous Parking
by: Nawaz, Farhad, et al.
Published: (2025)

Occupancy-aware Trajectory Planning for Autonomous Valet Parking in Uncertain Dynamic Environments
by: Nawaz, Farhad, et al.
Published: (2025)

Quad-LCD: Layered Control Decomposition Enables Actuator-Feasible Quadrotor Trajectory Planning
by: Srikanthan, Anusha, et al.
Published: (2025)

Towards a Theory of Control Architecture: A quantitative framework for layered multi-rate control
by: Matni, Nikolai, et al.
Published: (2024)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
by: Akella, Prithvi, et al.
Published: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
by: Zhao, Qisheng, et al.
Published: (2026)

Deep Equivariant Multi-Agent Control Barrier Functions
by: Bousias, Nikolaos, et al.
Published: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

No Minima, No Collisions: Combining Modulation and Control Barrier Function Strategies for Feasible Dynamic Collision Avoidance
by: Xue, Yifan, et al.
Published: (2025)

Why Change Your Controller When You Can Change Your Planner: Drag-Aware Trajectory Generation for Quadrotor Systems
by: Zhang, Hanli, et al.
Published: (2024)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
by: Lutkus, Paul, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Learning Reactive Dexterous Grasping via Hierarchical Task-Space RL Planning and Joint-Space QP Control
by: Lee, Ho Jae, et al.
Published: (2026)

Active Probing with Multimodal Predictions for Motion Planning
by: Gadginmath, Darshan, et al.
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Seamless Capture and Stabilization of Spinning Satellites By Space Robots with Spinning Base
by: Aghili, Farhad
Published: (2024)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
by: Wang, Yanwei, et al.
Published: (2022)

RICE: Reactive Interaction Controller for Cluttered Canopy Environment
by: Parayil, Nidhi Homey, et al.
Published: (2025)

Impedance Control for Manipulators Handling Heavy Payloads
by: Aghili, Farhad
Published: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
by: Liu, Ruijia, et al.
Published: (2025)

Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions
by: Geldenbott, Jasper, et al.
Published: (2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)

Coordinating Planning and Tracking in Layered Control Policies via Actor-Critic Learning
by: Yang, Fengjun, et al.
Published: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)

Fuzzy Logic Controller Design for Mobile Robot Outdoor Navigation
by: Wondosen, Assefinew, et al.
Published: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

eCP: Equivariant Conformal Prediction with pre-trained models
by: Bousias, Nikolaos, et al.
Published: (2026)

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
by: Lindemann, Lars, et al.
Published: (2021)