{“id”：“https://openalex.org/W2221585980“，”doi“：”https://doi.org/10.109/iros.2015.7353863“，”title“：”VISPEC：一个用于获取MTL需求的图形工具“，”display_name“：”VISPEC：一种用于获取MTL需求的图形化工具“，“publication_year”：2015，“publiction_date”：“2015-09-01”，“ids”：{“openalex”：“https://openalex.org/W2221585980“，”doi“：”https://doi.org/10.109/iros.2015.7353863“，”mag“：”2221585980“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iros.2015.7353863“，”pdf_url“：null，”source“：nul，”license“：null/”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/1508.00618“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5044251694“，”display_name“：”Bardh Hoxha“，”orcid“：”https://orcid.org/0000-0001-6255-7566}，“机构”：[{“id”：https://openalex.org/I55732556“，”display_name“：”亚利桑那州立大学“，”ror“：”https://ror.org/03efmqc40“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I55732556“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Bardh Hoxha“，”raw _ afiliation_strings“：[“亚利桑那州立大学计算、信息学和决策系统工程学院”]，”affiliations“：[{”raw _affiliation_strong“：”亚利桑那州立大学计算机、信息学与决策系统工程院”，“机构ID“：[”https://openalex.org/I55732556“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5000536361“，”display_name“：”Nikolaos Mavridis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I203474044“，”display_name“：”国家科学研究中心“Demokritos”“，”ror“：”https://ror.org/038jp4m40“，”“country_code”“：”GR“，”type“：”facility“，”lineage“：[”https://openalex.org/I203474044“]}，{”id“：”https://openalex.org/I4210152658“，”display_name“：”Active Technologies（意大利）“，”ror“：”https://ror.org/03zp7nb85“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210152658“]}]，”国家“：[”GR“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Nikolaos Mavridis“，“raw_affiliation_strings”：[“交互式机器人与媒体实验室和NCSR Demokritos”]，“从属关系”：[{“raw_affiliation_string”：“交互式机器人和媒体实验室与NCSR demokritas”，“institution_ids”：[”https://openalex.org/I203474044","https://openalex.org/I4210152658“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5058732387“，”display_name“：”Georgios Fainekos“，”orcid“：”https://orcid.org/0000-0002-0456-2129}，“机构”：[{“id”：https://openalex.org/I55732556“，”display_name“：”亚利桑那州立大学“，”ror“：”https://ror.org/03efmqc40“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I55732556“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Georgios Fainekos“，”raw _ afiliation_strings“：[“亚利桑那州立大学计算、信息学和决策系统工程学院”]，”affiliations“：[{”raw _affiliation_strong“：”亚利桑那州立大学计算机、信息学与决策系统工程院”，“机构ID“：[”https://openalex.org/I55732556“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：2.966，”has_fulltext“：false，”cited_by_count：null，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”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.9994，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9993，“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/keywords/tool-integration网站“，”display_name“：”工具集成“，”score“：0.523572}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75337523｝，｛”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.6612289}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”level“：2，”score“：0.6238644｝，｛”id“：”https://openalex.org/C170130773，“wikidata”：https://www.wikidata.org/wiki/Q216378“，”display_name“：”可用性“，”级别“：2，”分数“：0.6160876}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.59011066}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.5690602}，{”id“：”https://openalex.org/C36464697，“wikidata”：https://www.wikidata.org/wiki/Q451553“，”display_name“：”可视化“，”级别“：2，”分数“：0.49696234}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.44292945}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4272056}，{”id“：”https://openalex.org/C107457646，“wikidata”：https://www.wikidata.org/wiki/Q207434“，”display_name“：”Human\u2013计算机交互“，”level“：1，”score“：0.4185586}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.3331722}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2909675}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.1319333}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iros.2015.7353863“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/1508.00618，“pdf_url”：https://arxiv.org/pdf/1508.00618，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1508.00618“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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/1508.00618，“pdf_url”：https://arxiv.org/pdf/1508.00618，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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“：[{”id“：”https://metadata.un.org/sdg/9“，”score“：0.51，”display_name“：”工业、创新和基础设施“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2221585980","https://openalex.org/W3099075475网址“]，”referenced_works_count“：24，”referrenced_works“：[”https://openalex.org/W1535116423","https://openalex.org/W1563105074","https://openalex.org/W172589331","https://openalex.org/W1877616231","https://openalex.org/W1966911833","https://openalex.org/W1992777946","https://openalex.org/W2026629052","https://openalex.org/W2032602169","https://openalex.org/W2034478670","https://openalex.org/W2067102155","https://openalex.org/W2068300951","https://openalex.org/W2124292368","https://openalex.org/W2131399618","https://openalex.org/W2136579724","https://openalex.org/W2147472153","https://openalex.org/W2153803621","https://openalex.org/W2155985201","https://openalex.org/W2160668141","https://openalex.org/W2176215692","https://openalex.org/W2221585980","https://openalex.org/W4229882186","https://openalex.org/W4244758738","https://openalex.org/W4248646522","https://openalex.org/W59350782“]，”related_works“：[”https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W1544097700","https://openalex.org/W1495250406“]，”ngrams_url“：”https://api.openalex.org/works/W2221585980/ngrams网站“，”“abstract_inverted_index”：{“One”：[0]，“of”：[1,8,14,34,44,70110146152160]，“the”：[2,12,20,32,66108125]，“main”：[3]，“barriers”：[4]，“preventing”：[5]，“communished”：[6]，“use”：[7]，“formal”：[9,15,35,47,71,81141]，“methods”：[10]，“is”：[11,37,95]，“elivation”：[13]，“specifications”：[16]。，“正式”：[17]，“规范”：[18,72,89157]，“便利”：[19]，“测试“：[21]，”和“：[22,39,68117129163]，”验证“：[23]，”过程“：[24]，”用于“：[25,65155158]，”安全“：[26]，”关键“：[27]，”机器人“：[28161]，”系统。“：[29]，”“然而，”：[30]，“处理”：[31]，“复杂性”：[33]，“语言”：[36]，“困难”：[38]，“需要”：[40]，“a”：[41,61,91119]，“高”：[42144]，“级别”：[43]，“专业知识”：[45]，“in”：[46,80]，“逻辑”：[48]，“that”：[49,75134]，“many”：[50]，“system”：[51]，“开发人员”：[52]，“do“：[53,76]，“not”：[54,77]，“have”。“：[55]，“In”：[56104]，“this”：[57]，“work”，：[58]，“we”：[P9113149]，“present”：[60150]，“graphical”：/62,92]，“tool”：[63,84154]，“designed”：[64116]，“development”：[67]，“visualization”：[69]，“by”：[73]，“people”：[74]，“have”：[78114]，“training”：[79]，“logic”。“：[82]，”The“：[83]，”enables“：[85]，”users“：[86]，”to“：[87,9106139]，”develop“：[88]，”using“：[90]，”formarism“：[93]，”which“：[94]，”then“：[96]，”automatically“：[97]，”translated“：[98]，”Metric“：[100]，”Temporal“：[101]，”Logic“：[102]，”（MTL）。“：[103]，”命令“：[105]，”评估“：[107]，”有效性“：[109]，”我们的“：[11153]，”工具“：[112]，”还“：[115]，”执行“：[118]，”可用性“：%120]，”研究“：[121]，”with“：[122143]，”队列“：[123]，”来自“：[124]，”学术“：[126]，”学生“：[127]，”社区“：[128]，”工业。“：[130]，“我们的”：[131]，“结果”：[132]，“指示”：[133]，“两者”：[135]，“组”：[136]，“曾经”：[137]，“能够”：[138]，“定义”：[140]，“要求”：[142]，“级别”：[145]，“准确性”。“：[147]，”最后，“：[148]，”应用程序“：[151]，”定义“：[156]，”操作“：[159]，”手术“：[162]，”自主“：[164]，”四翼直升机“：[165]，”安全“：[166]，”运行。“：[167]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2221585980“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”“cited_by-count”“：4}，”“年份”“：2019，”年份“：2016，”cited_by_count“：2}，{“年份”：2015，”cited_by_count”：2}]，“updated_date”：“2024-07-25T16:54:43.887662“，”创建日期“：”2016-06-24“}