Geometric Model Checking of Continuous Space

DOI10.46298/LMCS-18(4:7)2022MaRDI QIDQ5060193zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

Publication date 9 January 2023

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2105.06194v5

zbMATH Keywords

geometric logicmodel checkingsimplicial complexesspatial logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• On bisimilarity for polyhedral models and \texttt{SLCS}
• Model checking spatial logics for closure spaces
• Spatial logic and spatial model checking for closure spaces
• An Experimental Spatio-Temporal Model Checker
• Back-and-forth in space: on logics and bisimilarity in closure spaces

Cites work

• A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
• An O(m n) algorithm for computing stuttering equivalence and branching bisimulation
• An Experimental Spatio-Temporal Model Checker
• Analysing Spatial Properties on Neighbourhood Spaces
• Bisimulations for temporal logic
• Characterizing finite Kripke structures in propositional temporal logic
• Continuous-time models for system design and analysis
• Counterexample-Guided Refinement of Template Polyhedra
• Discrete mereotopology
• Geometric Model Checking of Continuous Space
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 3678765 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 7774238 (Why is no real title available?)
• Model checking spatial logics for closure spaces
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Spatial logic and spatial model checking for closure spaces
• Specifying and Verifying Properties of Space
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Tarski's theorem on intuitionistic logic, for polyhedra
• The algebra of topology
• Three logics for branching bisimulation
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

Cited in

(9)

• Detecting geometric infeasibility
• Geometric Model Checking of Continuous Space
• A Spatial Logic for Simplicial Models
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Minimisation of spatial models using branching bisimilarity
• On bisimilarity for polyhedral models and \texttt{SLCS}
• Weak simplicial bisimilarity and minimisation for polyhedral model checking
• On bisimilarity for quasi-discrete closure spaces
• Spatio-temporal model checking with \texttt{VoxLogicA}

Describes a project that uses

Uses Software

• MeshLab
• HyTech

This page was built for publication: Geometric Model Checking of Continuous Space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5060193)