A tool for parallel automated controller synthesis for large-scale stochastic systems.
noise
parallel-algorithm
hybrid-systems
reactive-synthesis
automated-synthesis
markov-decision-process
symbolic-models
disturbances
symbolic-controller
stochastisity
-
Updated
Mar 10, 2023 - C++