LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

Open in new window