Skip to content
Snippets Groups Projects
Mahmoud Bentriou's avatar
Bentriou Mahmoud authored
The two Cosmos tests checks the statistical correctness of estimated
distance value for R1,R2,R3,R5 experiments. Also, they test that all
trajectories are accepted.

A bunch of errors were fixed in automata files (Cosmos .lha and julia
./automata files) and simulation function that introduced statistical
bias, i.e. approximated values that were closed but not in the
confidence interval. The general structure of simulation and was
reworked in order to suits well te behavior of Cosmos.
f4c41acb
History
Name Last commit Last update
..
ER_1D.jl
dist_F_ER.lha