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
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


Files produced by the author(s)



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⟩



Record views


Files downloads