Search Results - "Bussi, Laura"

A toolchain for strategy synthesis with spatial properties by Basile, Davide, ter Beek, Maurice H., Bussi, Laura, Ciancia, Vincenzo

“…We present an application of strategy synthesis to enforce spatial properties. This is achieved by implementing a toolchain that enables the tools CATLib and…”
Get full text

Logics of polyhedral reachability by Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David

“…Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an…”
Get full text

A spatial model checker in GPU (extended version) by Bussi, Laura, Ciancia, Vincenzo, Gadducci, Fabio

“…The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised…”
Get full text

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking by Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P

“…The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker…”
Get full text