Model-checking ecological state-transition graphs
Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau
The paper applies model-checking to ecological state-transition graphs to analyze vegetation dynamics and management policies.
PLoS Computational Biology · Jun 6, 2022Peer-reviewedBioinformatics