Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

arXiv:2411.11428v4 Announce Type: replace Abstract: The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral models are central in domains that exploit mesh processing, such as 3…