TY  - RPRT
TI  - Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
AU  - Nick Bezhanishvili
AU  - Laura Bussi
AU  - Vincenzo Ciancia
AU  - David Gabelaia
AU  - Mamuka Jibladze
AU  - Diego Latella
AU  - Mieke Massink
AU  - Erik P. de Vink
PY  - 2026
DO  - 10.46298/lmcs-22(1:6)2026
UR  - https://arxiv.org/abs/2411.11428
ID  - 2411.11428
ER  -