parameter-synthesis

There are 0 repository under parameter-synthesis topic.

• imitator-model-checker / imitator

  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

  model-checkingmodel-checkerreal-time-systemsreachability-synthesisparameter-synthesistimed-automata
  Language:OCaml 26

• WelkinYang / EMPHASIS-pytorch

  EMPHASIS: An Emotional Phoneme-based Acoustic Model for Speech Synthesis System

  text-to-speechttsemphasisparameter-synthesis
  Language:Python 15

• etienneandre / ImpRator

  ImpRator (Inverse Method for Policy with Reward AbstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric Markov decision processes such that optimal policies remain optimal.

  markov-decision-processesoptimal-policyparameter-synthesispolicy-iteration
  Language:OCaml 0

• etienneandre / InSPEQTor

  InSPEqTor (INference of Shortest Paths with EQuivalent abstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric directed weighted graphs such that shortest paths are preserved.

  floyd-warshallparameter-synthesisparametric-graphshortest-pathsweighted-graphs
  Language:OCaml 0