Search

• < Previous
• 1
• Next >

Geometric Model Checking of Continuous Space

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting&nbsp;[&hellip;]