AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems
Conference Proceeding
Overview
publication date
- January 1, 2020
Date in CU Experts
- January 30, 2021 7:23 AM
Full Author List
- Lavaei A; Khaled M; Soudjani S; Zamani M
author count
- 4
Additional Document Info
start page
- 1
end page
- 2