1 paper · 1 filter
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Automated translation of natural language (NL) descriptions into Linear Temporal Logic over finite traces (LTLf) is a prerequisite for automated formal verification of a system's d…