| layout | title | permalink | order |
|---|---|---|---|
page |
Publications |
publications.html |
3 |
- 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
- 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. Journal of Systems and Software, 208, p.111883. Online Preprint
- Q. Mazouni, H. Spieker, A. Gotlieb, M. Acher. Testing for Fault Diversity in Reinforcement Learning. AST 2024. Preprint
- Q. Mazouni, H. Spieker, A. Gotlieb, M. Acher. Policy Testing with MDPFuzz (Replicability Study). ISSTA 2024. Online
- Q. Mazouni, A. Gotlieb, H. Spieker, M. Acher, B. Combemale. Mutation-guided Metamorphic Testing of Optimality in AI Planning. STVR. (to appear)
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.