by Sven Schneider, Maria Maximova, Holger Giese
Reference:
Probabilistic metric temporal graph logic (Sven Schneider, Maria Maximova, Holger Giese), Technical report 146, Hasso Plattner Institute at the University of Potsdam, 2022.
Bibtex Entry:
@techreport{2022_probabilistic_metric_temporal_graph_logic__technical_report,
author = {Sven Schneider and Maria Maximova and Holger Giese},
title = {Probabilistic metric temporal graph logic},
number = {146},
isbn = {978-3-86956-532-3},
year = {2022},
address = {Potsdam, Germany},
institution = {Hasso Plattner Institute at the University of Potsdam},
doi = {10.25932/publishup-54586},
}