Export 4 results:
Search results for 9581
Filters: 1 is biblio_year:2023 and Author is Mathieu Acher  [Reset Search]
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 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)
G. Bécan, R. Behjati, A. Gotlieb and M. Acher. Synthesis of Attributed Feature Models From Product Descriptions: Foundations. INRIA, 2015.