TY  - RPRT
TI  - LTLf and LDLf Monitoring: A Technical Report
AU  - Giuseppe De Giacomo
AU  - Riccardo De Masellis
AU  - Marco Grasso
AU  - Fabrizio Maggi
AU  - Marco Montali
PY  - 2014
UR  - https://arxiv.org/abs/1405.0054
ID  - 1405.0054
ER  -