Skip to content
Snippets Groups Projects
Commit 656d7410 authored by Bentriou Mahmoud's avatar Bentriou Mahmoud
Browse files

Update ci docs

parent 647ecd56
No related branches found
No related tags found
No related merge requests found
Pipeline #19890 passed
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
MarkovProcesses.jl MarkovProcesses.jl
================== ==================
[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/dev) [![](https://img.shields.io/badge/docs-stable-blue.svg)](https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/public)
A Julia package for efficient simulation, statistical inference and verification of Continuous Time Markov Chains. A Julia package for efficient simulation, statistical inference and verification of Continuous Time Markov Chains.
...@@ -14,6 +14,10 @@ It implements: ...@@ -14,6 +14,10 @@ It implements:
* Approximate Bayesian Computation (a likelihood-free inference method) * Approximate Bayesian Computation (a likelihood-free inference method)
* Automaton-ABC: a statistical method for verification of parametric CTMC (cite paper) * Automaton-ABC: a statistical method for verification of parametric CTMC (cite paper)
## Resources
* **Documentation**: <https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/public>
## Install ## Install
This package is not yet registered in the Julia's packages. For the install of the package: This package is not yet registered in the Julia's packages. For the install of the package:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment