Old Web
English
Sign In
Acemap
>
Paper
>
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
2022
Tzanis Anevlavis
Matthew Philippe
Daniel Neider
Paulo Tabuada
Correction
Source
Cite
Save
Machine Reading By IdeaReader
39
References
0
Citations
NaN
KQI
[]