57 citations · 219 across the 25 of their papers we have counts for
1 paper · 1 filter
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…