← Search

Saleh Soudijani

2 accepted papers

2025

Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions

IJCAI 2025

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 execution of the system, the communication between the agents can be constrained by restrictions on the bandwidth currently

Cited by 0Source ↗PDF ↗Scholar ↗
2024

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

AISTATS 2024poster

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 discrete-time stochastic dynamical systems against temporal logic specifications only using observation samples and without t…

Cited by 3Source ↗PDF ↗Scholar ↗