:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Casablanca, Ernesto, Zhang, Zengjie, Marchesini, Gregorio, Haesaert, Sofie, Dimarogonas, Dimos V., Soudjani, Sadegh
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2409.14833
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles
by: Tanevska, Ana, et al.
Published: (2025)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
by: Qi, Shuhao, et al.
Published: (2024)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
by: Engelaar, Maico H. W., et al.
Published: (2024)

Situation-Aware Interactive MPC Switching for Autonomous Driving
by: Qi, Shuhao, et al.
Published: (2025)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
by: Casablanca, Ernesto, et al.
Published: (2025)

Corridor MPC for Multi-Agent Inspection of Orbiting Structures
by: Marchesini, Gregorio, et al.
Published: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
by: Marchesini, Gregorio, et al.
Published: (2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
by: Zhang, Zengjie, et al.
Published: (2024)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
by: Sewlia, Mayank, et al.
Published: (2025)

An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
by: van de Laar, Teun, et al.
Published: (2024)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
by: Wiltz, Adrian, et al.
Published: (2025)

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

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
by: Engelaar, Maico H. W., et al.
Published: (2024)

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
by: Della Santina, Cosimo, et al.
Published: (2024)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
by: Zhang, Zengjie, et al.
Published: (2025)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
by: Mitsos, Georgios, et al.
Published: (2026)

Continuous-time control synthesis under nested signal temporal logic specifications
by: Yu, Pian, et al.
Published: (2023)

Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
by: Lapandić, Dženan, et al.
Published: (2024)

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

Conformal Prediction-Based MPC for Stochastic Linear Systems
by: Vogel, Lukas, et al.
Published: (2025)

Communication-Constrained STL Task Decomposition through Convex Optimization
by: Marchesini, Gregorio, et al.
Published: (2024)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
by: Marchesini, Gregorio, et al.
Published: (2025)

Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
by: Lee, Dongjae, et al.
Published: (2025)

Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
by: Verginis, Christos K., et al.
Published: (2019)

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

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
by: Zaker, Mahdieh, et al.
Published: (2024)

Fault-tolerant Model Predictive Control for Spacecraft
by: Stöckner, Raphael, et al.
Published: (2025)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
by: van Huijgevoort, Birgit C., et al.
Published: (2024)

Intermittent Connectivity Maintenance With Heterogeneous Robots
by: Aragues, Rosario, et al.
Published: (2024)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025)

Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023)

Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints
by: Wong, Rufus Cheuk Yin, et al.
Published: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)