#

automated-synthesis

Here is 1 public repository matching this topic...

mkhaled87 / pFaces-AMYTISS

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

Improve this page

Add a description, image, and links to the automated-synthesis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automated-synthesis topic, visit your repo's landing page and select "manage topics."