tcs2021

Project information

A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".

4 Commits
1 Branch
0 Tags

README

Created on

March 10, 2021

Copy SSH clone URLgit@gitlab-research.centralesupelec.fr:2017bentrioum/tcs2021.git
Copy HTTPS clone URLhttps://gitlab-research.centralesupelec.fr/2017bentrioum/tcs2021.git