Model-Checking an Ecosystem Model for Decision-Aid - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Model-Checking an Ecosystem Model for Decision-Aid

Résumé

—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.
Fichier principal
Vignette du fichier
largouet-cordier.pdf (1.22 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01094742 , version 1 (16-12-2014)

Identifiants

Citer

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⟩
261 Consultations
202 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More