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)
(vector SVG)
(bitmap PNG)
(vector SVG)
(bitmap PNG)