Sign in
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models.
Marcel Christian Werner
Klaus Schneider
Published in:
FDL (2023)
Keyphrases
</>
probabilistic model
optimization algorithm
neural network
artificial intelligence
machine learning
formal methods