Peer-Reviewed Publications

Writing of scientific papers related to:

  1. Metamorphic Testing for Validating Optimal AI Planning Systems. (under-review, we cannot disclose the venue and the title due to double-blind submission)
  2. ML for Deep Variability. (under-review, we cannot disclose the venue and the title due to double-blind submission)
  • Q. Mazouni, H. Spieker, A. Gotlieb, M. Acher. A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. PFIA 2023, RJCIA, July 4-7, Strasbourg, France Online
  • Q. Mazouni, A. Gotlieb, H. Spieker, M. Acher, B. Combemale. Metamorphic Testing of Optimality in AI Planners. Under Revision
  • L. Lesoil, H. Spieker, A. Gotlieb, M. Acher, P. Temple, A. Blouin, JM. Jézéquel. Learning Input-aware Performance Models of Configurable Systems: An Empirical Evaluation. Submitted to a journal

Theses

Quentin Mazouni has succesfully defended his Master’s thesis work at INSA Rennes. His work includes the production of datasets and reproducible scripts. He is now a PhD student at Simula (since Aug. 2022), working on the validation of AI planning systems under the co-supervision of Arnaud Gotlieb (Simula), Helge Spieker (Simula) and Mathieu Acher (Inria)

Luc Lesoil has successfully defended his PhD thesis, with many results coming from RESIST discussions, including datasets, reproducible scripts, and papers.