Login / Signup

Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models.

Marcel Christian WernerKlaus Schneider
Published in: FDL (2023)
Keyphrases
  • probabilistic model
  • optimization algorithm
  • neural network
  • artificial intelligence
  • machine learning
  • formal methods