This paper provides a tutorial-style introduction, and a guide, to the recent advancements in
spatial model checking that have made some relevant results possible. Among these, we …