Rafael Peñaloza

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over\n Data

2018 · arXiv (Cornell University)

Recent work has studied a probabilistic extension of the temporal logic LTL\nthat refines the eventuality (or diamond) constructor with a probability\ndistribution on when will this eventuality be satisfied. In this paper, we\nadapt this notion to …