Topic · Computational Theory and Mathematics · Computer Science

Formal Methods in Verification

OpenAlex topic; a paper is listed when OpenAlex scores it at least 0.5 for this topic.

1 paper

The paper applies model-checking to ecological state-transition graphs to analyze vegetation dynamics and management policies.

PLoS Computational Biology · Jun 6, 2022Peer-reviewedBioinformatics