TITLE     : Towards explainable formal methods: from LTL to natural language with neural machine translation
AUTHOR(S) : Cherukuri H, Ferrari A, Spoletini P
TYPE      : Conference article
YEAR      : 2022
CODE      : 461513

*** DO NOT EDIT THIS FILE ***