Topic: "automated-synthesis"
mkhaled87/pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
Language: C++ - Size: 26.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 3
A tool for parallel automated controller synthesis for large-scale stochastic systems.
Language: C++ - Size: 26.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 3