Scholarlink

We illustrate the potential of spatial model checking of polyhedral models on a number of selected examples. In computer graphics polyhedral models can be commonly found in the form of triangular surface meshes or tetrahedral volume meshes. Polyhedral model checking is used to analyse spatial properties of interest of such models expressed in a suitable spatial logic. For this work we use the recently developed geometric spatial model checker PolyLogicA, the visualiser PolyVisualizer and the polyhedral semantics of the Spatial Logic for Closure Spaces SLCS.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Practical Polyhedral Model Checking

  • 章节

  • 发表日期：

    2026年

查看全文
  • Yuri Andriaccio,
  • Vincenzo Ciancia,
  • Diego Latella,
  • Mieke Massink

摘要

We illustrate the potential of spatial model checking of polyhedral models on a number of selected examples. In computer graphics polyhedral models can be commonly found in the form of triangular surface meshes or tetrahedral volume meshes. Polyhedral model checking is used to analyse spatial properties of interest of such models expressed in a suitable spatial logic. For this work we use the recently developed geometric spatial model checker PolyLogicA, the visualiser PolyVisualizer and the polyhedral semantics of the Spatial Logic for Closure Spaces SLCS.