A tool for parallel automated controller synthesis for large-scale stochastic systems.
Primary LanguageC++MIT LicenseMIT