Copertina

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Casablanca, Ernesto, Zhang, Zengjie, Marchesini, Gregorio, Haesaert, Sofie, Dimarogonas, Dimos V., Soudjani, Sadegh
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Robust Visual Servoing under Human Supervision for Assembly Tasks
di: Fernandez-Ayala, Victor Nan, et al.
Pubblicazione: (2025)