Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications

From MaRDI portal
Publication:6122791

DOI10.1016/j.nahs.2023.101427arXiv2103.02226OpenAlexW3135557518MaRDI QIDQ6122791

Majid Zamani, Abolfazl Lavaei, Unnamed Author

Publication date: 1 March 2024

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.02226






Cites Work


This page was built for publication: Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications