{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:27Z","timestamp":1740131967169,"version":"3.37.3"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100000781","name":"ERC","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"name":"PBM-FIMBSE"},{"name":"ANPCYT PICT","award":["2011-1774"],"award-info":[{"award-number":["2011-1774"]}]},{"name":"ANPCYT PICT","award":["2012-0724"],"award-info":[{"award-number":["2012-0724"]}]},{"name":"ANPCYT PICT","award":["2013-2341"],"award-info":[{"award-number":["2013-2341"]}]},{"DOI":"10.13039\/501100010253","name":"UBACYT","doi-asserted-by":"crossref","award":["20020130100384BA"],"award-info":[{"award-number":["20020130100384BA"]}],"id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100010253","name":"UBACYT","doi-asserted-by":"crossref","award":["20020130300036BA"],"award-info":[{"award-number":["20020130300036BA"]}],"id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"crossref"}]},{"name":"CONICET PIP","award":["112 201301 00688 CO"],"award-info":[{"award-number":["112 201301 00688 CO"]}]},{"name":"MEALS","award":["295261"],"award-info":[{"award-number":["295261"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1109\/tse.2016.2564959","type":"journal-article","created":{"date-parts":[[2016,5,9]],"date-time":"2016-05-09T14:25:12Z","timestamp":1462803912000},"page":"19-33","source":"Crossref","is-referenced-by-count":10,"title":["Interaction Models and Automated Control under Partial Observable Environments"],"prefix":"10.1109","volume":"43","author":[{"given":"Daniel","family":"Ciolek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"DIppolito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.60.3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337201"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1538917.1538920"},{"key":"ref10","first-page":"109","author":"alfaro","year":"0","journal-title":"Proc 8th Eur Softw Eng Conf Held Jointly 9th ACM SIGSOFT Int Symp Found Softw Eng"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081741"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491519"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.09.006"},{"journal-title":"Compilers Principles Techniques and Tools","year":"2006","author":"aho","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/800135.804422"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/060673862"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1294904.1294908"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985823"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0239-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9586-5_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30106-6_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948567"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"},{"key":"ref2","first-page":"1995","author":"jackson","year":"0","journal-title":"Software Requirements & Specifications A Lexicon of Practice Principles and Prejudices"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606605"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"ref22","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"0","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_29"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217536"},{"key":"ref25","article-title":"Environment assumptions for synthesis","author":"chatterjee","year":"0","journal-title":"Proc 19th Int'l Conf Concurrency Theory"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7809237\/07466810.pdf?arnumber=7466810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:38:04Z","timestamp":1641987484000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7466810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":35,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2564959","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}