{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,10]],"date-time":"2026-10-10T13:30:58Z","timestamp":1791639058813,"version":"4.3.4"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Wallenberg AI, Autonomous Systems and Software Program (WASP) by the Knut and Alice Wallenberg Foundation"},{"name":"Verification and Validation of Automated Systems\u2019 Safety and Security (VALU3S) Project"},{"DOI":"10.13039\/501100011688","name":"Electronic Components and Systems for European Leadership (ECSEL) Joint Undertaking","doi-asserted-by":"publisher","award":["876852"],"award-info":[{"award-number":["876852"]}],"id":[{"id":"10.13039\/501100011688","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1109\/tase.2022.3216759","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T20:56:40Z","timestamp":1667509000000},"page":"78-90","source":"Crossref","is-referenced-by-count":7,"title":["On Active Learning for Supervisor Synthesis"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1559-7896","authenticated-orcid":false,"given":"Ashfaq","family":"Farooqui","sequence":"first","affiliation":[{"name":"Dependable Transport Systems, RISE Safety and Transport Division, Borås, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8606-474X","authenticated-orcid":false,"given":"Ramon Tijsse","family":"Claase","sequence":"additional","affiliation":[{"name":"Control Systems Technology in Mechanical Engineering Department, Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1287-9748","authenticated-orcid":false,"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","volume-title":"Apollo 13: The First Digital Twin","year":"2022"},{"key":"ref4","volume-title":"Xcelgo Experior","year":"2022"},{"key":"ref5","volume-title":"Unreal Engine","year":"2022"},{"key":"ref6","first-page":"1","article-title":"CARLA: An open urban driving simulator","volume-title":"Proc. 1st Annu. Conf. Robot Learn.","author":"Dosovitskiy"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"ref8","volume-title":"CultureExpert","year":"2022"},{"key":"ref9","volume-title":"Virtual Slaughter House","year":"2022"},{"key":"ref10","volume-title":"Techomatix","year":"2022"},{"key":"ref11","volume-title":"ABB Robot Studio","year":"2022"},{"key":"ref12","first-page":"4252","article-title":"Using modern 3D modelling throughout the lifecycle of automation systems with experior","volume-title":"Proc. Winter Simulation Conf.","author":"J\u00f8rgensen"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247744"},{"key":"ref14","volume-title":"PLC&virtual commissioning: En studie I verifiering av PLC-logik genom virtual commissioning","author":"Steen","year":"2018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/16864360.2014.914400"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5593\/sgem2015\/b21\/s7.043"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3846\/bme.2016.316"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/PC.2017.7976223"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2018.03.012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7315\/JCDE.2014.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_8"},{"key":"ref23","volume-title":"Tomte: Bridging the gap between active learning and real-world systems","author":"Aarts","year":"2014"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0355-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96562-8_5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.028"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843177"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_10"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.46"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_54"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.60"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_5"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1995.532099"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1995.525118"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-014-4082-2"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.032"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68899-0"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551435"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1958-0135681-9"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3897.001.0001"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref48","volume-title":"On object oriented nondeterministic supervisory control","author":"Fabian","year":"1995"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.3182\/20090603-3-RU-2001.0148"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref51","volume-title":"Twincat","year":"2021"},{"key":"ref52","volume-title":"ADS","year":"2021"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1177\/0142331215603792"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_26"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283109"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.00593"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/10381526\/09931906.pdf?arnumber=9931906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,18]],"date-time":"2024-09-18T14:06:18Z","timestamp":1726668378000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9931906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1]]},"references-count":58,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tase.2022.3216759","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1]]}}}