1. Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. (January 2023) Authors: Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Journal: Automatica Issue: Volume 147(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated verification and synthesis of stochastic hybrid systems: A survey. (December 2022) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid Journal: Automatica Issue: Volume 146(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach. (May 2020) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Journal: Nonlinear analysis Issue: Volume 36(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Compositional abstraction-based synthesis for networks of stochastic switched systems. (April 2020) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Journal: Automatica Issue: Volume 114(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. (February 2021) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Journal: Nonlinear analysis Issue: Volume 39(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems. Issue 2 (2020) Authors: Anand, Mahathi; Lavaei, Abolfazl; Zamani, Majid Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1862 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems⁎This work was supported in part by the H2020 ERC Starting Grant AutoCPS (grant agreement No. 804639) and the German Research Foundation (DFG) through the Research Training Group 2428. Issue 2 (2020) Authors: Anand, Mahathi; Lavaei, Abolfazl; Zamani, Majid Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1862 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach ⁎. Issue 3 (2019) Authors: Lavaei, Abolfazl; Zamani, Majid Journal: IFAC-PapersOnLine Issue: Volume 52:Issue 3(2019) Page Start: 31 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Compositional construction of infinite abstractions for networks of stochastic control systems. (September 2019) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Journal: Automatica Issue: Volume 107(2019) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach⁎. Issue 16 (2018) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 16(2018) Page Start: 265 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗