Filtrer vos résultats
- 4
- 3
- 3
- 3
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 7
- 7
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
|
Policy Iteration-based Conditional Termination and Ranking FunctionsVerification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. pp.473
Communication dans un congrès
hal-00919068v1
|
||
|
Multiobjective Optimization for Multimode Transportation ProblemsAdvances in Operations Research, 2018, 2018, pp.1 - 13. ⟨10.1155/2018/8720643⟩
Article dans une revue
hal-01810753v1
|
||
On the Connected Spanning Cubic Subgraph ProblemK.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⟩
Chapitre d'ouvrage
hal-01175233v1
|
|||
Multi-Objective optimization: Comparison of methods for the p-median problem20TH ANNUAL WORKSHOP ON METAHEURISTICS, May 2019, Oslo, Norway
Communication dans un congrès
hal-02176553v1
|
|||
|
Calcul par intervalles pour la robotique mobile intelligente Lab-STICCBulletin de l'Association Française pour l'Intelligence Artificielle, 2019, 104, pp.9-10
Article dans une revue
hal-02280704v1
|
||
|
Proving termination by policy iterationNSAD'12 - 4th International Workshop on Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.77-88, ⟨10.1016/j.entcs.2012.09.008⟩
Communication dans un congrès
hal-00757878v1
|
||
|
Kleene Algebra to Compute Invariant Sets of Dynamical SystemsAlgorithms, 2022, 15 (3), pp.90. ⟨10.3390/a15030090⟩
Article dans une revue
hal-03648084v1
|