Formalizing behavior using temporal logics such as STL require the user to specify the correct temporal logic specification [1]}, [2]}—a difficult and error-prone task for untrained human users.
Translating a sentence written in a natural and ambiguous language into a more general and concise formal language is an open challenge [3]}.
<FIGURE>
Формализация поведения с использованием временных логик, таких как STL, требует от пользователя указания правильной спецификации временной логики [1], [2] - сложной и ошибочной задачи для неподготовленных пользователей. Перевод предложения, написанного на естественном и неоднозначном языке, на более общий и краткий формальный язык является открытой проблемой [3].