Practical Exploration of Polyhedral Model Checking. - Yuri Andriaccio; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2025)