mkhaled87/pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
C++MIT
Issues
- 4
Missing .cmake files?
#1 opened by Kiguli
A tool for parallel automated controller synthesis for large-scale stochastic systems.
C++MIT