A Formal Approach for Tuning Stochastic Oscillators.
Paolo BallariniMahmoud BentriouPaul-Henry CournèdePublished in: CMSB (2023)
Keyphrases
- formal model
- database
- formal methods
- tuning parameters
- formal analysis
- stochastic nature
- formal representation
- parameter settings
- dynamic programming
- neural network
- real time
- e learning
- computer vision
- stochastic process
- learning automata
- operational semantics
- markov processes
- stochastic models
- formal language
- databases