Probabilistic Metric Temporal Graph Logic

Schneider, Sven; Maximova, Maria; Giese, Holger

by Sven Schneider, Maria Maximova, Holger Giese

Reference:

Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), In CoRR, volume abs/2106.08418, 2021.

Bibtex Entry:

@article{DBLP:journals/corr/abs-2106-08418,
  author    = {Sven Schneider and
               Maria Maximova and
               Holger Giese},
  title     = {Probabilistic Metric Temporal Graph Logic},
  journal   = {CoRR},
  volume    = {abs/2106.08418},
  year      = {2021},
  url       = {https://arxiv.org/abs/2106.08418},
  archivePrefix = {arXiv},
  eprint    = {2106.08418},
  timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2106-08418.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}