Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

Published in Theoretical Computer Science, 2021