50 citations · 249 across the 50 of their papers we have counts for
7 papers · 1 filter
Situation-Aware Interactive MPC Switching for Autonomous Driving
Shuhao Qi, Qiling Aori, Luyao Zhang +2
Autonomous driving in interactive traffic scenarios remains challenging because of the mutual influence among vehicles and the inherent uncertainty of surrounding agents. Several m…
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
Ruohan Wang, Siyuan Liu, Zhiyong Sun +1
Discrete-time stochastic systems with continuous spaces are hard to verify and control, even with MDP abstractions due to the curse of dimensionality. We propose an abstraction-bas…
Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
Shuhao Qi, Zhiqi Tang, Zhiyong Sun +1
As the airspace becomes increasingly congested, decentralized conflict resolution methods for airplane encounters have become essential. While decentralized safety controllers can…
A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
Zengjie Zhang, Giannis Badakis, Michalis Galanis +4
Simulators are useful tools for testing automated driving controllers. Vehicle-in-the-loop (ViL) tests and digital twins (DTs) are widely used simulation technologies to facilitate…
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
The requirement for identifying accurate system representations has not only been a challenge to fulfill, but it has compromised the scalability of formal methods, as the resulting…
Unraveling tensor structures in correct-by-design controller synthesis
Ruohan Wang, Zhiyong Sun, Sofie Haesaert
Formal safety guarantees on the synthesis of controllers for stochastic systems can be obtained using correct-by-design approaches. These approaches often use abstractions as finit…