Dynamic controllability of temporal networks with instantaneous reaction

Mining CSTNUDs significant for a set of traces is polynomial

“…6a. Now, strong controllability of a CSTN is equivalent to consistency of the STN that might arise from the initial CSTN once we keep the tightest constraints after throwing away all labels [4,23]. In this way, we look for a solution that satisfies the intersection of mutually-exclusive constraints.…”