52 citations · 56 across the 4 of their papers we have counts for
1 paper · 1 filter
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We comput…