Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
Conference Proceeding
Overview
publication date
- April 21, 2020
has restriction
- closed
Date in CU Experts
- January 30, 2021 7:16 AM
Full Author List
- Lavaei A; Khaled M; Soudjani S; Zamani M
author count
- 4
citation count
- 1