@inproceedings{ecbfb60d74734272a7292d7fcbe13d6a,
title = "DeepSTL - From English Requirements to Signal Temporal Logic",
author = "Jie He and Ezio Bartocci and Dejan Nickovic and Haris Isakovic and Radu Grosu",
year = "2022",
doi = "10.1145/3510003",
language = "English",
isbn = "978-1-4503-9221-1",
pages = "610--622",
booktitle = "44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022",
note = "ICSE'22 ; Conference date: 25-05-2022 Through 27-05-2022",
}