/pFaces-AMYTISS

A tool for parallel automated controller synthesis for large-scale stochastic systems.

Primary LanguageC++MIT LicenseMIT

Stargazers

No one’s star this repository yet.