{"id":"https://openalex.org/W4389057876","doi":"https://doi.org/10.1145/3633804","title":"Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning","display_name":"Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning","publication_year":2023,"publication_date":"2023-11-27","ids":{"openalex":"https://openalex.org/W4389057876","doi":"https://doi.org/10.1145/3633804"},"language":"en","primary_location":{"id":"doi:10.1145/3633804","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3633804","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066987037","display_name":"Yong-Jun Shin","orcid":"https://orcid.org/0000-0001-6068-5054"},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yong-Jun Shin","raw_affiliation_strings":["ETRI, South Korea"],"raw_orcid":"https://orcid.org/0000-0001-6068-5054","affiliations":[{"raw_affiliation_string":"ETRI, South Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019085537","display_name":"Donghwan Shin","orcid":"https://orcid.org/0000-0002-0840-6449"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Donghwan Shin","raw_affiliation_strings":["University of Sheffield, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-0840-6449","affiliations":[{"raw_affiliation_string":"University of Sheffield, United Kingdom","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067376000","display_name":"Doo\u2010Hwan Bae","orcid":"https://orcid.org/0000-0002-3152-5219"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Doo-Hwan Bae","raw_affiliation_strings":["KAIST, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-3152-5219","affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17592593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"1","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9553999900817871,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9510999917984009,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.879501223564148},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6652945876121521},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6000638604164124},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5723854899406433},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4771839380264282},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.45239487290382385},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31088927388191223},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09612545371055603},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08903250098228455}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.879501223564148},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6652945876121521},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6000638604164124},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5723854899406433},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4771839380264282},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45239487290382385},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31088927388191223},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09612545371055603},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08903250098228455}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3633804","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3633804","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:206025","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7605661126","display_name":null,"funder_award_id":"2015-0-00250","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"}],"funders":[{"id":"https://openalex.org/F4320322093","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10"},{"id":"https://openalex.org/F4320324891","display_name":"Iran Telecommunication Research Center","ror":"https://ror.org/01a3g2z22"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W107619411","https://openalex.org/W1581231885","https://openalex.org/W1631091010","https://openalex.org/W1994848651","https://openalex.org/W2077458446","https://openalex.org/W2155027007","https://openalex.org/W2315512848","https://openalex.org/W2397053433","https://openalex.org/W2463595550","https://openalex.org/W2468660406","https://openalex.org/W2475210682","https://openalex.org/W2549252265","https://openalex.org/W2604382266","https://openalex.org/W2730591385","https://openalex.org/W2741960741","https://openalex.org/W2742109296","https://openalex.org/W2743583881","https://openalex.org/W2772125588","https://openalex.org/W2786422334","https://openalex.org/W2790282462","https://openalex.org/W2796290181","https://openalex.org/W2803079060","https://openalex.org/W2892187746","https://openalex.org/W2911097524","https://openalex.org/W2964049638","https://openalex.org/W2980176594","https://openalex.org/W2980274526","https://openalex.org/W2989217866","https://openalex.org/W2995571430","https://openalex.org/W2997591727","https://openalex.org/W2997655715","https://openalex.org/W3011394691","https://openalex.org/W3012370795","https://openalex.org/W3081056513","https://openalex.org/W3089538634","https://openalex.org/W3091086138","https://openalex.org/W3109631476","https://openalex.org/W3113369941","https://openalex.org/W3114397999","https://openalex.org/W3120614079","https://openalex.org/W3129393501","https://openalex.org/W3136687417","https://openalex.org/W3146058829","https://openalex.org/W3162734126","https://openalex.org/W3174342994","https://openalex.org/W3214002615","https://openalex.org/W4212808730","https://openalex.org/W4214717370","https://openalex.org/W4235050778","https://openalex.org/W4297325261","https://openalex.org/W4306706296","https://openalex.org/W4387548447","https://openalex.org/W6704139216","https://openalex.org/W6845636941"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W2209816623","https://openalex.org/W1987127708","https://openalex.org/W2968885840","https://openalex.org/W3017360834","https://openalex.org/W3135700974","https://openalex.org/W4313307484","https://openalex.org/W2086962923","https://openalex.org/W3094048663","https://openalex.org/W2546638913"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPS)":[2],"continuously":[3],"interact":[4],"with":[5,50,102,223],"their":[6],"physical":[7],"environments":[8,16],"through":[9],"embedded":[10],"software":[11],"controllers":[12],"that":[13,95,190,247],"observe":[14],"the":[15,31,43,51,84,98,103,144,147,179,192,195,214,218,224,235,251,288,291],"and":[17,45,72,130,152,198],"determine":[18],"actions.":[19],"Field":[20],"Operational":[21],"Tests":[22],"(FOT)":[23],"are":[24],"essential":[25],"to":[26,28,59,68,82,120,168,183,234],"verify":[27,213],"what":[29],"extent":[30],"CPS":[32,38,104,133,196,219,254],"under":[33],"analysis":[34],"can":[35,78,96,249],"achieve":[36],"certain":[37],"goals,":[39],"such":[40],"as":[41,202],"satisfying":[42],"safety":[44],"performance":[46],"requirements,":[47],"while":[48,257],"interacting":[49,101],"real":[52,99,200],"operational":[53],"environment.":[54],"However,":[55],"performing":[56],"many":[57],"FOTs":[58],"obtain":[60],"statistically":[61,212],"significant":[62],"verification":[63,77,135,236,256],"results":[64,245],"is":[65,182],"challenging":[66],"due":[67],"its":[69,199,259],"high":[70],"cost":[71,252],"risk":[73],"in":[74,105,136,165,204,276],"practice.":[75],"Simulation-based":[76],"be":[79],"an":[80,90,123],"alternative":[81],"address":[83],"challenge,":[85],"but":[86],"it":[87,154,222,233],"still":[88],"requires":[89],"accurate":[91,124,131,263],"virtual":[92,125,148,277],"environment":[93,100,126,149,201,264,278],"model":[94,150,180,189,279],"replace":[97],"a":[106,117,188,268],"closed":[107],"loop.":[108],"In":[109],"this":[110],"article,":[111],"we":[112,140],"propose":[113],"ENVI":[114,230,248],"(ENVironment":[115],"Imitation),":[116],"novel":[118],"approach":[119],"automatically":[121],"generate":[122],"model,":[127],"enabling":[128],"efficient":[129],"simulation-based":[132],"goal":[134,215,255],"practice.To":[137],"do":[138],"this,":[139],"first":[141],"formally":[142],"define":[143],"problem":[145],"of":[146,217,237,253,274,290],"generation":[151,181,280],"solve":[153],"by":[155,220,231,261],"leveraging":[156],"Imitation":[157],"Learning":[158],"(IL),":[159],"which":[160],"has":[161],"been":[162],"actively":[163],"studied":[164],"machine":[166],"learning":[167],"learn":[169],"complex":[170],"behaviors":[171],"from":[172,266],"expert":[173],"demonstrations.":[174],"The":[175,244,272],"key":[176],"idea":[177],"behind":[178],"leverage":[184],"IL":[185,275],"for":[186],"training":[187],"imitates":[191],"interactions":[193],"between":[194],"controller":[197],"recorded":[203],"(possibly":[205],"very":[206],"small)":[207],"FOT":[208,270],"logs.":[209,271],"We":[210,227],"then":[211],"achievement":[216],"simulating":[221],"generated":[225],"model.":[226],"empirically":[228],"evaluate":[229],"applying":[232],"two":[238],"popular":[239],"autonomous":[240],"driving":[241],"assistant":[242],"systems.":[243],"show":[246],"reduce":[250],"maintaining":[258],"accuracy":[260],"generating":[262],"models":[265],"only":[267],"few":[269],"use":[273],"opens":[281],"new":[282],"research":[283],"directions,":[284],"further":[285],"discussed":[286],"at":[287],"end":[289],"article.":[292]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}