Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Documenti analoghi

• A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
  di: Cui, Bohan, et al.
  Pubblicazione: (2025)
• Formal Verification and Control with Conformal Prediction
  di: Lindemann, Lars, et al.
  Pubblicazione: (2024)
• Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
  di: Vlahakis, Eleftherios E., et al.
  Pubblicazione: (2025)
• Conformal Predictive Programming for Chance Constrained Optimization
  di: Zhao, Yiqi, et al.
  Pubblicazione: (2024)
• SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
  di: Wang, Shuqi, et al.
  Pubblicazione: (2024)