TY  - RPRT
TI  - Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
AU  - Fabrizio M. Maggi
AU  - Marco Montali
AU  - Rafael Peñaloza
PY  - 2019
UR  - https://arxiv.org/abs/1903.04940
ID  - 1903.04940
ER  -