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:journalscorrabs-2106-08418,
AUTHOR = {Schneider, Sven and Maximova, Maria and Giese, Holger},
TITLE = {{Probabilistic Metric Temporal Graph Logic}},
YEAR = {2021},
JOURNAL = {CoRR},
VOLUME = {abs/2106.08418},
URL = {https://arxiv.org/abs/2106.08418},
PDF = {uploads/pdf/DBLP:journalscorrabs-2106-08418_2021_03_16_submitted.pdf},
OPTacc_pdf = {},
ANNOTE = {ARCHIVEPREFIX : arXiv}
}