{“id”:“https://openalex.org/W2231402397“,”doi“:”https://doi.org/10.1007/s10009-016-0416-3“,”title“:”The first reactive synthesis competition(SYNTCOMP 2014)“,”display_name“:”The first reactory synthesition competition“(SYNTCOMP 2014)”,”publication_year“:2016,”publiciation_date“:”2016-04-09“,”ids“:{”openalex“:”https://openalex.org/W2231402397“,”doi“:”https://doi.org/10.1007/s10009-016-0416-3“,”mag“:”2231402397“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/s10009-016-0416-3“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S122567160“,”“display_name”“:”《国际技术转让软件工具杂志》“,”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”arxiv“,”crossref“,”datacite“],‘open_access”:{“is_oa”:true,“oa_s”状态“:”绿色“,”oaurl“:”https://arxiv.org/pdf/1506.08726“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5080048833“,”display_name“:”Swen Jacobs“,”orcid“:”https://orcid.org/0000-0002-9051-4050},“机构”:[{“id”:https://openalex.org/I4092182“,”display_name“:”格拉茨理工大学“,”ror“:”https://ror.org/00d7xrm67“,”country_code“:”AT“,”type“:“教育”,”世系“:[”https://openalex.org/I4092182“]}],”国家“:[”AT“],”is_corresponding“:false,”raw_author_name“:”Swen Jacobs“,”raw _affiliation_strings“:[“格拉茨理工大学[Graz]”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5053520475“,”display_name“:”Roderick Bloem“,”orcid“:”https://orcid.org/0000-0002-1411-5744},“机构”:[{“id”:https://openalex.org/I4092182“,”display_name“:”格拉茨理工大学“,”ror“:”https://ror.org/00d7xrm67“,”country_code“:”AT“,”type“:“教育”,”世系“:[”https://openalex.org/I4092182“]}],”国家“:[”AT“],”is_corresponding“:false,”raw_author_name“:”Roderick Bloem“,”raw_affiliation_strings“:[“格拉茨理工大学[Graz]”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5067374706“,”display_name“:”Romain Brenguier“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I40120149“,”display_name“:”牛津大学“,”ror“:”https://ror.org/052gg0110“,”country_code“:”GB“,”type“:”教育“,”血统“:[”https://openalex.org/I40120149“]}],”国家“:[”GB“],”is_corresponding“:false,”raw_author_name“:”Romain Brenguier“,”raw关联字符串“:[“牛津大学”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5050112206“,”display_name“:”R\u00fcdiger Ehlers“,”orcid“:”https://orcid.org/0000-0002-8315-1431},“机构”:[{“id”:https://openalex.org/I2802442800“,”display_name“:”Deutsches Forschungsnetz“,”ror“:”https://ror.org/038t94116“,”“country_code”“:”DE“,”type“:”facility“,”lineage“:[”https://openalex.org/I2802442800“]},{”id“:”https://openalex.org/I180437899“,”display_name“:”不来梅大学“,”ror“:”https://ror.org/04ers2y35“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I180437899“]}],”国家“:[”DE“],”is_correresponsing“:false,”raw_author_name“:”R\u00fcdiger Ehlers“,”raw_affiation_strings“:[”Deutsche Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz[不来梅]“,”不来梅大学“]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5050872251“,”display_name“:”提摩太地狱“,”orcid“:null},”机构“:[{”id“:”https://openalex.org/I4092182“,”display_name“:”格拉茨理工大学“,”ror“:”https://ror.org/00d7xrm67“,”country_code“:”AT“,”type“:“教育”,”世系“:[”https://openalex.org/I4092182“]}],”国家“:[”AT“],”is_corresponding“:false,”raw_author_name“:”Timotheus Hell“,”raw _ afiliation_strings“:[“格拉茨理工大学[Graz]”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5068407760“,”display_name“:”Robert K\u00f6nighfer“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4092182“,”display_name“:”格拉茨理工大学“,”ror“:”https://ror.org/00d7xrm67“,”country_code“:”AT“,”type“:“教育”,”世系“:[”https://openalex.org/I4092182“]}],”国家“:[”AT“],”is_corresponding“:false,”raw_author_name“:”Robert K\u00f6nighfer“,”raw_affiliation_strings“:[“格拉茨理工大学[Graz]”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5053423392“,”display_name“:”Guillermo A.P\u00e9rez“,”orcid“:”https://orcid.org/0000-0002-1200-4952},“机构”:[{“id”:https://openalex.org/I132053463“,”display_name“:”布鲁塞尔自由大学“,”ror“:”https://ror.org/01r9htc13“,”country_code“:”BE“,”type“:“教育”,”世系“:[”https://openalex.org/I132053463“]}],”国家“:[”BE“],”is_corresponding“:false,”raw_author_name“:”Guillermo A.P\u00e9rez“,”raw _ afiliation_strings“:[“University \u00e 9 libre de Bruxelles”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5050196522“,”display_name“:”Jean-Fran\u00e7ois Raskin“,”orcid“:”https://orcid.org/0000-0002-3673-1097},“机构”:[{“id”:https://openalex.org/I132053463“,”display_name“:”布鲁塞尔自由大学“,”ror“:”https://ror.org/01r9htc13“,”country_code“:”BE“,”type“:“教育”,”世系“:[”https://openalex.org/I132053463“]}],”国家“:[”BE“],”is_corresponding“:false,”raw_author_name“:”Jean-Fran\u00e7ois Raskin“,”raw _ afiliation_strings“:[“University \u00e 9 libre de Bruxelles”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5001598240“,”display_name“:”Leonid Ryzhyk“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I42894916“,”display_name“:”Data61“,”ror“:”https://ror.org/03q397159“,”country_code“:”AU“,”type“:“other”,”lineage“:[”https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119“]},{”id“:”https://openalex.org/I74973139“,”display_name“:”卡内基梅隆大学“,”ror“:”https://ror.org/05x2bcf33“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I74973139“]}],”国家“:[”非盟“,”美国“],”is_corresponding“:false,”raw_author_name“:”Leonid Ryzhyk“,”raw _ afiliation_strings“:[“卡内基梅隆大学[匹兹堡]”,”澳大利亚国家信息通信技术学院[悉尼]“]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5059019724“,”display_name“:”Ocan Sankur“,”orcid“:”https://orcid.org/0000-0001-8146-4429“},”机构“:[],”国家“:[[],”is_corresponding“:false,”raw_author_name“:”Ocan Sankur“,”raw_affiliation_strings“:[”大型模块和分布式系统的监视“]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5042183912“,”display_name“:”Martina Seidl“,”orcid“:”https://orcid.org/0000-0002-3267-4494},“机构”:[{“id”:https://openalex.org/I121883995“,”display_name“:”林茨约翰内斯·开普勒大学“,”ror“:”https://ror.org/052r2xn60“,”country_code“:”AT“,”type“:“教育”,”世系“:[”https://openalex.org/I121883995“]}],”国家“:[”AT“],”is_corresponding“:false,”raw_author_name“:”Martina Seidl“,”raw _ afiliation_strings“:[“约翰内斯·开普勒大学林茨[林茨]”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5012221975“,”display_name“:”Leander Tentrup“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I91712215“,”display_name“:”萨尔州大学“,”ror“:”https://ror.org/01jdpyv68“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I91712215“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Leander Tentrup“,”raw _ afiliation_strings“:[“萨尔州大学[Saarbr\u00fccken]”]},{“author_position”:“last”,“author”:{“id”:“https://openalex.org/A5075925450“,”display_name“:”Adam Walker“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I42894916“,”display_name“:”Data61“,”ror“:”https://ror.org/03q397159“,”country_code“:”AU“,”type“:“other”,”lineage“:[”https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119“]}],”国家“:[”AU“],”is_corresponding“:false,”raw_author_name“:”Adam Walker“,”raw _affiliation_strings“:[“澳大利亚国家信息通信技术协会[悉尼]”]}]“countries_distict_count”:6,“institutions_disticent_count”:9,“corresponding_author_ids”:[],“correcponding_institution_ids“:[]”,“apc_list”:{“value”:2390,“currency”:“EUR”,“value_usd”:2990,“出处”:“doaj”},“apc_payd”:{“value”:2390,“currency”:“EUR”,“value_usd”:2990,“provenance”:“doaj”},“has_fulltext”:false,“cited_by_count”:26,“citecd_by_percentile_year”:{“min”:94,“max”:95},”biblio“:{”volume“19”,“issue”:“3”,“first_page”:“367”,“last_page”:“390”}”,“is_retracted”:false,“is _paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”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/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11450“,”display_name“:”软件开发中的模型驱动工程“,”score“:0.9904,”subfield“:{”id“:”https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11125“,”“display_name”:“系统中Petri网的建模与控制”,“score”:0.9899,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/tool-integration网站“,”display_name“:”工具集成“,”score“:0.472999}],”概念“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.7984457},{”id“:”https://openalex.org/C24858836,“wikidata”:https://www.wikidata.org/wiki/Q844718“,”display_name“:”计算理论“,”level“:2,”score“:0.7887901},{”id“:”https://openalex.org/C185798385,“wikidata”:https://www.wikidata.org/wiki/Q1161707“,”display_name“:”基准(测量)“,”level“:2,”score“:0.7744685},{”id“:”https://openalex.org/C91306197,“wikidata”:https://www.wikidata.org/wiki/Q45767“,”display_name“:”比赛(生物)“,”等级“:2,”分数“:0.66361463},{”id“:”https://openalex.org/C48103436,“wikidata”:https://www.wikidata.org/wiki/Q599031“,”display_name“:”State(computer science)“,”level“:2,”score“:0.5043324},{”id“:”https://openalex.org/C203479927,“wikidata”:https://www.wikidata.org/wiki/Q5165939“,”display_name“:”控制器(灌溉)“,”level“:2,”score“:0.45791593},{”id“:”https://openalex.org/C42475967,“wikidata”:https://www.wikidata.org/wiki/Q194292“,”display_name“:”运筹学“,”level“:1,”score“:0.32654172},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.178702},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”Engineering“,”level“:0,”score“:0.07296762},{”id“:”https://openalex.org/C18903297,“wikidata”:https://www.wikidata.org/wiki/Q7150(网址:https://www.wikidata.org/wiki/Q7150)“,”display_name“:”生态学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C13280743,“wikidata”:https://www.wikidata.org/wiki/Q131089“,”display_name“:”大地测量学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C6557445,“wikidata”:https://www.wikidata.org/wiki/Q173113“,”display_name“:”Agronomy“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”生物学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C205649164,“wikidata”:https://www.wikidata.org/wiki/Q1071“,”display_name“:”Geography“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:5,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/s10009-016-0416-3“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S122567160“,”“display_name”“:”《国际技术转让软件工具杂志》“,”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://hal.inia.fr/hal-01373547“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”host_organization_name“:”法国国家科学研究中心“,”host_organization_lineage“:[”https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://arxiv.org/abs/1506.08726,“pdf_url”:https://arxiv.org/pdf/1506.08726,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://repository.uantwerpen.be/docman/irua/1b5d8e/154945.pdf,“pdf_url”:https://repository.uantwerpen.be/docman/irua/1b5d8e/154945.pdf,“源”:{“id”:https://openalex.org/S4306401849“,”display_name“:”安特卫普大学(安特卫普大学)机构知识库“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”host_organization“:”https://openalex.org/I149213910“,”“host_organization_name”:“安特卫普大学”,“host_organization_lineage”:[“https://openalex.org/I149213910“],”host_organization_lineage_names“:[”安特卫普大学“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://api.datacite.org/dois/10.48550/arxiv.1506.08726“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S4393179698“,”display_name“:”DataCite API“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I4210145204“,”“host_organization_name”:“DataCite”,“host_organization_lineage”:[“https://openalex.org/I4210145204“],”host_organization_lineage_names“:[”DataCite“],“type”:“metadata”},“license”:null,“licence_id”:null,“version”:null}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://arxiv.org/abs/11506.08726,“pdf_url”:https://arxiv.org/pdf/1506.08726,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”康奈尔大学“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},”sustainable_development_goals“:[{”display_name“:”工业、创新和基础设施“,”id“:”https://metadata.un.org/sdg/9“,”score“:0.44}],”grants“:[],”datasets“:[],”versions“:[”https://openalex.org/W2231402397","https://openalex.org/W3100857286“],”referenced_works_count“:52,”referrenced_works“:[”https://openalex.org/W143039783","https://openalex.org/W1481109946","https://openalex.org/W1483600339","https://openalex.org/W1497571013","https://openalex.org/W1515174179","https://openalex.org/W1524554243","https://openalex.org/W1528837436","https://openalex.org/W1570601698","https://openalex.org/W1582359184","https://openalex.org/W1607705647","https://openalex.org/W179349679","https://openalex.org/W1822320350","https://openalex.org/W1922664086","https://openalex.org/W1989100715","https://openalex.org/W1996393320","https://openalex.org/W2008211212","https://openalex.org/W2016206563","https://openalex.org/W2023329406","https://openalex.org/W2024646106","https://openalex.org/W2041701185","https://openalex.org/W2043100293","https://openalex.org/W2048355938","https://openalex.org/W2054412301","https://openalex.org/W2080267935","https://openalex.org/W2097100087","https://openalex.org/W2098630364","https://openalex.org/W2100465945","https://openalex.org/W2108036288","https://openalex.org/W2111224220","https://openalex.org/W2111299652","https://openalex.org/W2113511408","https://openalex.org/W2122620434","https://openalex.org/W2128543030","https://openalex.org/W2150447589","https://openalex.org/W2157275554","https://openalex.org/W2160991071","https://openalex.org/W2167903312","https://openalex.org/W2195169990","https://openalex.org/W2232378406","https://openalex.org/W2911462334","https://openalex.org/W2953191059","https://openalex.org/W3138459719","https://openalex.org/W3144630549","https://openalex.org/W4212901716","https://openalex.org/W4232806436","https://openalex.org/W4241616303","https://openalex.org/W4243540980","https://openalex.org/W4248312432网址","https://openalex.org/W4252439377","https://openalex.org/W4378744510","https://openalex.org/W79210254","https://openalex.org/W95161029“],”related_works“:[”https://openalex.org/W972276598","https://openalex.org/W4321353415","https://openalex.org/W4246352526网址","https://openalex.org/W2745001401","https://openalex.org/W2378211422","https://openalex.org/W2130974462","https://openalex.org/W2121910908","https://openalex.org/W2087343574","https://openalex.org/W2086519370","https://openalex.org/W2028665553“],”ngrams_url“:”https://api.openalex.org/works/W2231402397/ngrams网站“,”“abstract_inverted_index”:{“We”:[0,45,93],“introduce”:[1],“the”:[2,17,35,61,66,71,74,77,81,84,87,97100106109],“reactive”:[3,25],“synthesis”:[4,22,37,89],“competition”:[5101],“(SYNTCOMP),”:[6],“a”:[7],“long-timer”:[8],“effect”:[9],“designed”:[10],“to”:[11,55],“刺激“:[12],”和“:[13,19,42,52,58,63,86,95102],”引导“:[14],”进步“:[15],”在“:[16],“设计”:[18,62],“应用”:[20],“的”:[21,30,49,65,73,79,83,99108119],“程序”:[23],“用于”:[24,39],“系统”中。“:[26],”The“:[27],”first“:[28,67],”iteration“:[29],”SYNTCOMP“:[31],”is“:[32],”based“:[33],”on“:[34,60105116],”controller“:[36],”problem“:[38,51],”finite-state“:[40],”systems“:[41],”safety“:[43],”specifications。“:[44],”提供“:[46],”一个“:[47114],”概述“:[48],”此“:[50],”现有“:[53],”方法“:[54],”解决“:[56],”它,“:[57],”报告“:[59],”结果“:[64,98],”同步OMP。“:[68120],“This”:[69],“includes”:[70],“definition”:[72],“benchmark”:[75],“format”,:[76],“collection”:[78],“basenchmarks”:[80],“rules”:[82],“competition”,“:[85],“five”:[88],“tools”:[90],“that”:[91],“particated”。“:[92],“现在”:[94],“分析”:[96],“得出”:[103],“结论”:[104],“状态”:[107],“艺术”:[110],“最后”:[111],“我们”:[112],“给出”:[113],“展望”:[115],“未来”:[117],“方向”:[118]},“引用_by_api_url”:“https://api.openalex.org/works?filter=cites:W2231402397“,”“counts_by_year”:[{“年份”:2024,”“cited_by_count”:1},{“年”:2023,”“cited_by_cunt”:2},}“年“:2022,”“cited_by-count”“:1},{”“年”“:2021,”“引用_by_cont”“年份”:2016,“引用_ by_count”:5}],“更新日期”:“2024-06-06T18:08:37.643192”,“创建日期”:2016-06-24"}