A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994. ,
Optimal paths in weighted timed automata, International Workshop on Hybrid Systems: Computation and Control, pp.49-62, 2001. ,
, , 2001.
, Minimum-cost reachability for priced timed automata, International Workshop on Hybrid Systems: Computation and Control, vol.1, pp.147-161
Guiding and cost-optimality in uppaal, AAAI-Spring Symposium on Model-based Validation of Intelligence, pp.66-74, 2001. ,
Priced timed automata: Algorithms and applications, FMCO, vol.3657, pp.162-182, 2004. ,
, Timed Automata: Semantics, Algorithms and Tools, pp.87-124, 2004.
Battery-aware scheduling in low orbit: the gomx-3 case, FM 2016: Formal Methods: 21st International Symposium, vol.21, pp.559-576, 2016. ,
Integration of operational constraints to optimize differential harvest in viticulture, Proc. 10th, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01275568
, European Conference on Precision Agriculture (ECPA, pp.487-494, 2015.
A constraint-based approach to the differential harvest problem, Proc. 21st International Conference on Principles and Practice of Constraint Programming, vol.9255, pp.541-556, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01275591
Programmation par contraintes pour la vendange sélective, Actes des Onzimes Journées Francophones de Programmation par Contraintes (JFPC 2015, pp.51-56, 2015. ,
Constraint processing, 2003. ,
, , 2013.
, Model-based verification, optimization, synthesis and performance evaluation of real-time systems, In Unifying Theories of Programming and Formal Engineering Methods, pp.67-108
Chapter 23-vehicle routing, Handbook of Constraint Programming, vol.2, pp.801-836, 2006. ,
Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012. ,
Future directions of precision agriculture. Precision agriculture, vol.6, pp.7-23, 2005. ,
Precision spraying: from map to sprayer control using model-checking, Journal of Agricultural Informatics, vol.8, issue.3, pp.1-10, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01960598
, , 2018.