“…Asymptotic computational complexity analyses as described above were performed here for the reviewed supervised DPRA methods, considering the worst-case approach, as shown in Table A.2. The objective is to compare the supervised DPRA methods to each other and to the baseline computational complexity of DPRA, which is exponential [50]. Furthermore, we compare the methods in traceability (i.e., if the undesirable consequences are reachable from the initial conditions) and if they cover the full state-space of possibilities (i.e., a complete search of the state-space).…”