Andreas Ruscheinski, Anja Wolpers, Philipp Henning, Tom Warnke, Fiete Haack, Adelinde M. Uhrmacher. Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models. In Winter Simulation Conference, WSC 2020, Orlando, FL, USA, December 14-18, 2020. pages 2245-2256, IEEE, 2020. [doi]
Abstract is missing.