You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.