@misc{indiciae704480fe746c,
  title = {Probabilistic Metric Temporal Graph Logic},
  author = {Sven Schneider and Maria Maximova and Holger Giese},
  year = {2021},
  url = {https://arxiv.org/abs/2106.08418},
  note = {Source identifier: 2106.08418}
}