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 JSPS Kakenhi Project Surrogate Model-based Integration Testing of CPS with Complex Black Box Components MPM4CPS Multi-Paradigm Modelling for Cyber-Physical Systems
