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]
@inproceedings{LavaeiKSZ20, title = {AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems}, author = {Abolfazl Lavaei and Mahmoud Khaled and Sadegh Soudjani and Majid Zamani}, year = {2020}, doi = {10.1145/3365365.3383469}, url = {https://doi.org/10.1145/3365365.3383469}, researchr = {https://researchr.org/publication/LavaeiKSZ20}, cites = {0}, citedby = {0}, booktitle = {HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020}, editor = {Aaron Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh}, publisher = {ACM}, isbn = {978-1-4503-7018-9}, }