Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems

@ARTICLE{DBLP:journals/csur/MitschPRS15,
	pdf = {pub/surveydynamicspatial.pdf},

  author    = {Stefan Mitsch and
               Andr{\'e} Platzer and
               Werner Retschitzegger and
               Wieland Schwinger},
  title     = {Logic-based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems},
  journal   = {{ACM} Comput. Surv.},
  volume    = {48},
  number    = {1},
  pages     = {3:1--3:40},
  year      = {2015},
  doi       = {10.1145/2764901}
}```