AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani. AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. In Aaron Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh, editors, HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM, 2020. [doi]

This author has not been identified. Look up 'Abolfazl Lavaei' in GoogleThis author has not been identified. Look up 'Mahmoud Khaled' in GoogleThis author has not been identified. Look up 'Sadegh Soudjani' in GoogleThis author has not been identified. Look up 'Majid Zamani' in Google

runs on WebDSL