A Formal Approach for Tuning Stochastic Oscillators.

Paolo Ballarini Mahmoud Bentriou Paul-Henry Cournède

Published in: CoRR (2024)

Keyphrases

stochastic nature
formal model
stochastic optimization
formal methods
stochastic model
website
multiscale
operational semantics
communication systems
parameter tuning
physical design
formal representation
learning automata
formal specification
data sets
monte carlo
expert systems
optimal solution
decision making