1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.MA2025
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
Saleh Soudijani, Rayna Dimitrova
We study stochastic multi-agent systems in which agents must cooperate to maximize the probability of achieving a common reach-avoid objective. In many applications, during the exe…
eess.SY2024★ 1 cited
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
Zhi Zhang, Chenyu Ma, Saleh Soudijani +1
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discr…