@article{bentriou2021automatonabc,
  author    = {Bentriou, Mahmoud and Ballarini, Paolo and Courn{\`e}de, Paul-Henry},
  title     = {Automaton-{ABC}: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models},
  journal   = {Theoretical Computer Science},
  volume    = {893},
  pages     = {191--219},
  year      = {2021},
}