“…[138]. Set contour approximation [87], [88], [166], [72], [143], [144], [145], [147], [167], [146], [164], [163], dynamics approximation [168], [94], [169], [170], [99] and sample-based approximation [139], [137], [138], [171], [172] are all viable numerical options. A summary of methods used in primary studies are listed in Table . V. Academic competitions for reachability analysis exist, such as ARCH COMP [173], which is a competition of scientific software in the context of algorithmic verification of continuous and hybrid systems.…”