Export 4 results:
Filters: Author is Mathieu Acher  [Clear All Filters]
2023
Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher. A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making In Rencontres des Jeunes Chercheurs en Intelligence Artificielle., 2023.PDF icon pfia_rjcia_2023_sota_review_paper_revised.pdf (242.45 KB)
2017
Q. Plazar, M. Acher, S. Bardin and A. Gotlieb. Efficient and Complete FD-Solving for Extended Array Constraints In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, 2017.
2015
G. Bécan, R. Behjati, A. Gotlieb and M. Acher. Synthesis of Attributed Feature Models From Product Descriptions: Foundations. INRIA, 2015.
G. Bécan, R. Behjati, A. Gotlieb and M. Acher. Synthesis of attributed feature models from product descriptions In Proceedings of the 19th International Conference on Software Product Line, SPLC'15, Nashville, USA, July 20-24., 2015.PDF icon splc15-afm.pdf (566.57 KB)