People
- Cédric Gaucherel
- lead researcher in the EDEN project for the ecology side
- Franck Pommereau
- lead researcher in the EDEN project for the computer-science side
- main author of
ecco - Colin Thomas
- former PhD student
- author of
pymc
Resources
eccoat GitHubpymc- the (AR)CTL model checker used in
ecco libDDD- the decision diagrams library used in
ecco - complemented with
libITSfor simpler models translation eccologo as vector SVG or as bitmap PNG
