Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution

Documenti analoghi

• Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
  di: Qiu, Xinyuan, et al.
  Pubblicazione: (2026)
• Unraveling tensor structures in correct-by-design controller synthesis
  di: Wang, Ruohan, et al.
  Pubblicazione: (2025)
• Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
  di: Zhang, Zengjie, et al.
  Pubblicazione: (2024)
• Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
  di: Qi, Shuhao, et al.
  Pubblicazione: (2025)
• Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
  di: Qi, Shuhao, et al.
  Pubblicazione: (2024)