activity
20052023
most citedReinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

280 citations · 436 across the 21 of their papers we have counts for

collaborators
Showing cs.AIShow all

7 papers · 1 filter

cs.AI2023

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1

The future of automated driving (AD) is rooted in the development of robust, fair and explainable artificial intelligence methods. Upon request, automated vehicles must be able to…

cs.AI2021

Solve Optimization Problems with Unknown Constraint Networks

Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar

In most optimization problems, users have a clear understanding of the function to optimize (e.g., minimize the makespan for scheduling problems). However, the constraints may be d…

cs.AI2021

Predictive Machine Learning of Objective Boundaries for Solving COPs

Helge Spieker, Arnaud Gotlieb

Solving Constraint Optimization Problems (COPs) can be dramatically simplified by boundary estimation, that is, providing tight boundaries of cost functions. By feeding a supervise…

cs.AI2020★ 2 cited

Learning Objective Boundaries for Constraint Optimization Problems

Helge Spieker, Arnaud Gotlieb

Constraint Optimization Problems (COP) are often considered without sufficient knowledge on the boundaries of the objective variable to optimize. When available, tight boundaries a…

cs.AI2018

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Constraint Programming (CP) is a powerful declarative programming paradigm where inference and search are interleaved to find feasible and optimal solutions to various type of cons…

cs.AI2018

Multi-Cycle Assignment Problems with Rotational Diversity

Helge Spieker, Arnaud Gotlieb, Morten Mossige

Multi-cycle assignment problems address scenarios where a series of general assignment problems has to be solved sequentially. Subsequent cycles can differ from previous ones due t…