2025
Journal articles
- titre
- Inner and outer approximation of the image of a set by a nonlinear function
- auteur
- Maël Godard, Luc Jaulin, Damien Massé
- article
- International Journal of Approximate Reasoning, 2025, 187, pp.109574. ⟨10.1016/j.ijar.2025.109574⟩
- Accès au texte intégral et bibtex
-
2024
Conference papers
- titre
- Interval-based validation of a nonlinear estimator
- auteur
- Maël Godard, Luc Jaulin, Damien Massé
- article
- REC 2024, Oct 2024, Beijing, China
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Kleene Algebra to Compute Invariant Sets of Dynamical Systems
- auteur
- Thomas Le Mézo, Luc Jaulin, Damien Massé, Benoit Zerr
- article
- Algorithms, 2022, 15 (3), pp.90. ⟨10.3390/a15030090⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Calcul par intervalles pour la robotique mobile intelligente Lab-STICC
- auteur
- Luc Jaulin, Benoit Zerr, Fabrice Le Bars, Simon Rohou, Damien Massé
- article
- Bulletin de l'Association Française pour l'Intelligence Artificielle, 2019, 104, pp.9-10
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Multi-Objective optimization: Comparison of methods for the p-median problem
- auteur
- Pascal Rebreyend, Laurent Lemarchand, Damien Massé
- article
- 20TH ANNUAL WORKSHOP ON METAHEURISTICS, May 2019, Oslo, Norway
- Accès au bibtex
-
2018
Journal articles
- titre
- Multiobjective Optimization for Multimode Transportation Problems
- auteur
- Laurent Lemarchand, Damien Massé, Pascal Rebreyend, Johan Håkansson
- article
- Advances in Operations Research, 2018, 2018, pp.1 - 13. ⟨10.1155/2018/8720643⟩
- Accès au bibtex
-
2016
Book sections
- titre
- On the Connected Spanning Cubic Subgraph Problem
- auteur
- Damien Massé, Reinhardt Euler, Laurent Lemarchand
- article
- K.A. Adiprasito, I. Bárány, C. Vilcu. Proceedings in Mathematics and Statistics, Convexity and Discrete Geometry Including Graph Theory (148), Springer, pp.109-136, 2016, Proceedings in Mathematics and Statistics, ⟨10.1007/978-3-319-28186-5_10⟩
- Accès au bibtex
-
2014
Conference papers
- titre
- Policy Iteration-based Conditional Termination and Ranking Functions
- auteur
- Damien Massé
- article
- Verification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. pp.473, ⟨10.1007/978-3-642-54013-4_25⟩
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Proving termination by policy iteration
- auteur
- Damien Massé
- article
- NSAD'12 - 4th International Workshop on Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.77-88, ⟨10.1016/j.entcs.2012.09.008⟩
- Accès au texte intégral et bibtex
-