Automaton-ABC est une méthode statistique conçue pour estimer la probabilité de propriétés spatio-temporelles dans des modèles markoviens paramétriques de population. Ce projet permet d'analyser des systèmes biologiques ou physiques complexes en simulant leur comportement et en validant des hypothèses statistiques. Il s'appuie sur des outils mathématiques avancés pour fournir des résultats précis et exploitables dans le cadre de recherches théoriques ou appliquées.