TU Wien Informatics

Role

  • DeepSTL - From English Requirements to Signal Temporal Logic / J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu / 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)