{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T03:53:46Z","timestamp":1769313226624,"version":"3.49.0"},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,18]]},"DOI":"10.1109\/kse59128.2023.10299468","type":"proceedings-article","created":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T19:05:46Z","timestamp":1699297546000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1687-8091","authenticated-orcid":false,"given":"Ga\u00e9tan","family":"Hains","sequence":"first","affiliation":[{"name":"LACL, UPEC Créteil,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ouarda","family":"Fenek","sequence":"additional","affiliation":[{"name":"Intellig'IA Object'ive,Paris,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_83"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT.2018.8394813"},{"key":"ref6","article-title":"Statistical Model Checking QoS properties of Systems with SBIP","author":"bensalem","year":"2013","journal-title":"HAL CNRS Tech Rep"},{"key":"ref5","article-title":"Appareil et precéde de generation de specifications d' exigences. Aparatus and method for generating requirement specification","year":"0","journal-title":"European Patent Of-fice patent number W02022218549Al"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49646-7_22"},{"key":"ref1","article-title":"Formal analysis of a space craft controller using SPIN","author":"havelund","year":"1998","journal-title":"NASA Ames Research Center Recom Technologies Moffet Field Tech Rep"}],"event":{"name":"2023 15th International Conference on Knowledge and Systems Engineering (KSE)","location":"Hanoi, Vietnam","start":{"date-parts":[[2023,10,18]]},"end":{"date-parts":[[2023,10,20]]}},"container-title":["2023 15th International Conference on Knowledge and Systems Engineering (KSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10298834\/10298844\/10299468.pdf?arnumber=10299468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T19:10:46Z","timestamp":1702321846000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10299468\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,18]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/kse59128.2023.10299468","relation":{},"subject":[],"published":{"date-parts":[[2023,10,18]]}}}