Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic

Documenti analoghi

• Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
  di: Vlahakis, Eleftherios E., et al.
  Pubblicazione: (2023)
• Conformal Prediction-Based MPC for Stochastic Linear Systems
  di: Vogel, Lukas, et al.
  Pubblicazione: (2025)
• Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
  di: Vlahakis, Eleftherios E., et al.
  Pubblicazione: (2025)
• Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
  di: Vlahakis, Eleftherios E., et al.
  Pubblicazione: (2024)
• Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
  di: Ren, Wei, et al.
  Pubblicazione: (2024)