57 citations · 278 across the 28 of their papers we have counts for
1 paper · 2 filters
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…