Inproceedings,

Probabilistic Metric Temporal Graph Logic.

, , and .
ICGT, volume 13349 of Lecture Notes in Computer Science, page 58-76. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews