J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
"DeepSTL - From English Requirements to Signal Temporal Logic";
accepted as talk for: International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA; 2022-05-21; in: "44th International Conference on Software Engineering (ICSE 2022)", (2022).