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.

Bioinformatics·PLoS Computational BiologyPeer-reviewed·Jun 6, 2022
Want to read
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.
16 citations
experimental assay·benchmarking
·𝕏 Post·Bluesky