STENDHAL seeks to advance the theory and implementation of spatial logics. Firstly, by enabling spatio-temporal analysis in sequences of images (e.g., analysis of videos or longitudinal studies in healthcare). Secondly, by integrating spatial model checking with neural networks, combining the precision of the latter with the expert-driven monitoring of requirements (protocols, guidelines, safety properties). STENDHAL will validate these methods on case studies in the healthcare and cyber-physical domains.