Practical Exploration of Polyhedral Model Checking

Yuri Andriaccio, Vincenzo Ciancia, Diego Latella +1

This work explores the potential of spatial model checking of polyhedral models on a number of selected examples. In computer graphics polyhedral models can be found in the form of…