# A spatial model checker in GPU (extended version)

arXiv: https://arxiv.org/abs/2010.07284 · HTML: https://mlsanity.com/paper/2010.07284/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 14 Oct 2020.

## Built on by (most cited first, 1 of 1)

- [Geometric Model Checking of Continuous Space](https://mlsanity.com/paper/2105.06194/) (2021)

## Abstract (arXiv)

The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.