Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models | IEEE Conference Publication | IEEE Xplore