Model-Checking an Ecosystem Model for Decision-Aid

Abstract : —This work stems on the idea that timed automata models and model-checking techniques may bring much in a decision-aid context when dealing with large and interacting qualitative models. In this paper, we focus on two key issues when facing the interpretation and explanation of behavior in real-world systems: the model building and its exploration using logic patterns. We illustrate this approach in the ecological domain with the modeling and exploration of a fisheries ecosystem.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01094742
Contributor : Christine Largouet <>
Submitted on : Tuesday, December 16, 2014 - 4:47:36 PM
Last modification on : Thursday, June 20, 2019 - 12:04:05 PM
Long-term archiving on : Monday, March 23, 2015 - 1:10:12 PM

File

largouet-cordier.pdf
Files produced by the author(s)

Identifiers

Citation

Marie-Odile Cordier, Christine Largouët, Yulong Zhao. Model-Checking an Ecosystem Model for Decision-Aid. IEEE 26th International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. ⟨10.1109/ICTAI.2014.87⟩. ⟨hal-01094742⟩

Share

Metrics

Record views

538

Files downloads

197