Papers: 10.1007/978-3-030-53291-8_24

https://doi.org/10.1007/978-3-030-53291-8_24

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Cited by: 7
Author(s): Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
Published: over 5 years ago

Software Mentions 1