Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models.

Andreas Ruscheinski, Anja Wolpers, Philipp Henning, Tom Warnke, Fiete Haack, Adelinde M. Uhrmacher

Browse the full WSC paper archive.