- Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.In iFM 2023, Springer, 237--256, 2023.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-031-47705-8_13