← 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 0SourcePDFScholar
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 3SourcePDFScholar