Abstract: Ensuring the safety of real systems necessitates the identification of non-deterministic models that capture all system behaviors. This process is often referred to as reachset-conformant ...