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 GitHubpymcthe (AR)CTL model checker used ineccolibDDDthe decision diagrams library used inecco, complemented withlibITSfor simpler models translationecco‘e’-logo:(vector SVG) or
(bitmap PNG)
eccofull logo:(vector SVG) or
(bitmap PNG)