TY  - RPRT
TI  - A Metric for Linear Temporal Logic
AU  - Íñigo Íncer Romeo
AU  - Marten Lohstroh
AU  - Antonio Iannopollo
AU  - Edward A. Lee
AU  - Alberto Sangiovanni-Vincentelli
PY  - 2018
UR  - https://arxiv.org/abs/1812.03923
ID  - 1812.03923
ER  -