Search papers, labs, and topics across Lattice.
1
0
2
Instead of forcing a single interpretation, this work embraces the inherent ambiguity of natural language to generate multiple plausible STL formulas from a single NL task description.