Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède. A Formal Approach for Tuning Stochastic Oscillators. In Jun Pang 0001, Joachim Niehren, editors, Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings. Volume 14137 of Lecture Notes in Computer Science, pages 1-17, Springer, 2023. [doi]
Abstract is missing.