Being correct is not enough: efficient verification using robust linear temporal logic - Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Being correct is not enough: efficient verification using robust linear temporal logic - Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada | Arena