Home » Authors » S. Saharsh, B. A. Sadek, Abdalla Swikir, Pushpak Jagtap, Adnane Saoud

S. Saharsh, B. A. Sadek, Abdalla Swikir, Pushpak Jagtap, Adnane Saoud

Public reference bibliography and cataloged PDF materials authored or published by S. Saharsh, B. A. Sadek, Abdalla Swikir, Pushpak Jagtap, Adnane Saoud.

Found 1 document(s) Page 1 of 1

Compositional Approximately Bisimilar Abstractions of Stochastic Interconnected Systems

Year: 2026 • Source: arxiv.org • Listed PDF

This paper addresses the challenge of constructing (alternating) bisimilar symbolic models for discrete-time, stochastic, interconnected systems. By leveraging a refined over-approximation of the stochastic reachable set...