During conjunction over time, due to logical equivalence, a disjoint set of points belonging to different signals might still satisfy the STL formula. This can be avoided by grouping signals with "similar" behavior and performing a disjunction for the entire time period for each group of such signals.
During conjunction over time, due to logical equivalence, a disjoint set of points belonging to different signals might still satisfy the STL formula. This can be avoided by grouping signals with "similar" behavior and performing a disjunction for the entire time period for each group of such signals.