Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone. Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 26-32, IEEE, 2015. [doi]
Abstract is missing.