Q-Search Using SBT for Quantum Circuit Synthesis Noisy MOO Noisy Multi-Objective Optimization SBT4ADS Search-Based Testing for Autonomous Driving Systems CREST Continuous REactive SysTems Modelling in Python Automated Structural Document Analysis for Regulatory Texts AI5Production Test-before-Invest No. 123 – European Digital Innovation Hub (EDIH) JSPS Kakenhi Project Surrogate Model-based Integration Testing of CPS with Complex Black Box Components MPM4CPS Multi-Paradigm Modelling for Cyber-Physical Systems