Model-checking ecological state-transition graphs

• Colin Thomas ,

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Software, Validation, Visualization, Writing – original draft

  * E-mail: colin.thomas@univ-evry.fr (CT); franck.pommereau@univ-evry.fr (FP)

  Affiliations IBISC, Univ. Évry, Univ. Paris-Saclay, 91020 Évry-Courcouronne, France, AMAP, Univ. Montpellier, INRAE, CIRAD, CNRS, IRD, Montpellier, France

  https://orcid.org/0000-0002-7650-784X

  ⨯
• Maximilien Cosme,

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Validation, Writing – review & editing

  Affiliation AMAP, Univ. Montpellier, INRAE, CIRAD, CNRS, IRD, Montpellier, France

  https://orcid.org/0000-0001-8353-5104

  ⨯
• Cédric Gaucherel,

  Roles Conceptualization, Funding acquisition, Methodology, Project administration, Resources, Supervision, Writing – review & editing

  Affiliation AMAP, Univ. Montpellier, INRAE, CIRAD, CNRS, IRD, Montpellier, France

  https://orcid.org/0000-0002-4521-8914

  ⨯
• Franck Pommereau

  Roles Conceptualization, Funding acquisition, Methodology, Software, Supervision, Validation, Visualization, Writing – review & editing

  * E-mail: colin.thomas@univ-evry.fr (CT); franck.pommereau@univ-evry.fr (FP)

  Affiliation IBISC, Univ. Évry, Univ. Paris-Saclay, 91020 Évry-Courcouronne, France

  https://orcid.org/0000-0002-9959-3699

  ⨯