A Tutorial on Uppaal, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Weighted Timed Automata: Model-Checking and Games, Electronic Notes in Theoretical Computer Science, vol.158, pp.3-17, 2006. ,
DOI : 10.1016/j.entcs.2006.04.002
Model Checking Timed Automata, Modeling and Verification of Real-Time Systems, pp.111-140, 2008. ,
DOI : 10.1002/9780470611012.ch4
URL : https://hal.archives-ouvertes.fr/hal-01194603
Qualitative models of ecological systems ??? Editorial introduction, Ecological Informatics, vol.4, issue.5-6, pp.261-262, 2009. ,
DOI : 10.1016/j.ecoinf.2009.10.001
Model-Checking an Ecosystem Model for Decision-Aid, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 2014. ,
DOI : 10.1109/ICTAI.2014.87
URL : https://hal.archives-ouvertes.fr/hal-01094742
Qualitative predictions in model ecosystems, Ecological Modelling, vol.161, issue.1-2, pp.79-93, 2003. ,
DOI : 10.1016/S0304-3800(02)00295-8
Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012. ,
DOI : 10.1016/j.envsoft.2011.08.005
Efficient timed model checking for discrete-time systems, Theoretical Computer Science, vol.353, issue.1-3, pp.249-271, 2006. ,
DOI : 10.1016/j.tcs.2005.11.020
URL : https://hal.archives-ouvertes.fr/hal-01194608
Measuring Landscapes : A Planner's Handbook ,
Relative and absolute order-of-magnitude models unified, Annals of Mathematics and Artificial Intelligence, vol.24, issue.4, pp.3-4323, 2005. ,
DOI : 10.1007/s10472-005-9002-1
Knowledge representation and reasoning for qualitative spatial change. Knowledge-Based Systems, pp.161-171, 2012. ,
Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d'outils de model-checking. phdthesis, 2014. ,
EcoMata, un logiciel d???aide ?? la d??cision pour am??liorer la gestion des ??cosyst??mes, Ing??nierie des syst??mes d'information, vol.16, issue.3, pp.85-111, 2011. ,
DOI : 10.3166/isi.16.3.85-111
Glob 0, 1099. ,
Cult 0, p.423 ,