View in EDS HTML Full Text PDF Full Text

DeepSTL: from english requirements to signal temporal logic.

Saved in:

Bibliographic Details
Title:	DeepSTL: from english requirements to signal temporal logic.
Authors:	He, Jie¹, jie.he@tuwien.ac.at, Bartocci, Ezio¹, ezio.bartocci@tuwien.ac.at, Ničković, Dejan², Dejan.Nickovic@ait.ac.at, Isakovic, Haris¹, haris@vmars.tuwien.ac.at, Grosu, Radu¹, radu.grosu@tuwien.ac.at
Source:	ICSE: International Conference on Software Engineering; 2022, p610-622, 13p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
DOI:	10.1145/3510003.3510171