Publications HAL

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
https://hal.science/hal-05250166/file/main_v4.pdf 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
https://hal.science/hal-04795673/file/REC2024_GODARD-1.pdf 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
https://ensta.hal.science/hal-03648084/file/algorithms-15-00090-v2.pdf 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
https://ensta.hal.science/hal-02280704/file/paper_afia_robex.pdf 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
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
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
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
https://hal.science/hal-00919068/file/paper_36.pdf 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
https://hal.science/hal-00757878/file/article-masse-nsad2012.pdf BibTex