cs.LO 68N30 Mathematical aspects of software engineering (specification,
  verification, metrics, requirements, etc.)
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili Laura Bussi Vincenzo Ciancia David Gabelaia Mamuka Jibladze Diego Latella Mieke Massink Erik P. de Vink