Dill A theory of timed automata Theoretical computer science, pp.183-235, 1994. ,
Sifakis Controller Synthesis For Timed Automata, 1998. ,
Chatelin and F. Garcia Interactive simulation modeling in farm decision making Computers and Electronics in Agriculture, pp.2-3, 1999. ,
Larsen and D. Lime Efficient on-the-fly algorithms for the analysis of timed games, Proceedings of CONCUR 05, pp.66-88, 2005. ,
A machine learning approach for evaluating the impact of land use and management practices on streamwater pollution by pesticides, Proceedings of MODSIM'05 (International Congress on Modelling and Simulation), 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00511101
Qualitative reasoning about an ecological process: interpretation in hydroecology, Ecological Modelling, vol.59, issue.3-4, pp.165-201, 1991. ,
DOI : 10.1016/0304-3800(91)90177-3
Knowledge representation and qualitative simulation of salmon redd functioning. Part I: qualitative modeling and simulation, Biosystems, vol.59, issue.2, pp.75-84, 2001. ,
DOI : 10.1016/S0303-2647(01)00100-9
Yovine Symbolic model checking for real-time systems Information and Computation, pp.193-244, 1994. ,
Cordier Patrons de scenarios pour l'exploration qualitative d'un écosystème, Actes de Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010. ,
Temporal logic patterns for querying dynamic models of cellular interaction networks ECCB, pp.227-233, 2008. ,
Automated modeling of complex systems to answer prediction questions, Artificial Intelligence, vol.93, issue.1-2, pp.201-260, 1997. ,
DOI : 10.1016/S0004-3702(96)00052-5
Araújo Qualitative models about stream ecosystem recovery : Exploratory studies Ecological Modelling, pp.1-3, 2006. ,
DOI : 10.1016/j.ecolmodel.2005.10.018
Qualitative Model for Characterizing Effects of Anthropogenic Activities on Benthic Communities Ecological Modeling, pp.209-220, 2006. ,
Cordier EcoMata, un logiciel d'aide à la décision pour améliorer la gestion des écosystèmes Ingénierie des Systèmes d'Information, pp.85-111, 2011. ,
Evaluating the potential of qualitative reasoning models to contribute to sustainable catchment management Ecological Informatics, pp.5-6, 2009. ,