- Validation of Reinforcement Learning Agents and Safety Shields with ProB.In Proceedings NFM 2024, LNCS, 14627, Springer, 279--297, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-60698-4_16
- Generating interactive documents for domain-specific validation of formal models.In International Journal on Software Tools for Technology Transfer, 26, 2, Springer, 147--168, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00739-0
- Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.In Proceedings FMAS 2024, EPTCS, 411, 151--159, 2024.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.411.10