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

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani

Browse the full CAV paper archive.