TY  - RPRT
TI  - Being correct is not enough: efficient verification using robust linear temporal logic
AU  - Tzanis Anevlavis
AU  - Matthew Philippe
AU  - Daniel Neider
AU  - Paulo Tabuada
PY  - 2021
DO  - 10.1145/3491216
UR  - https://arxiv.org/abs/2102.11991
ID  - 2102.11991
ER  -