乐胖代购免代理版

{"id":"https://openalex.org/W2157977984","doi":"https://doi.org/10.1109/lics.2007.22","title":"Game Relations and Metrics","display_name":"Game Relations and Metrics","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2157977984","doi":"https://doi.org/10.1109/lics.2007.22","mag":"2157977984"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2007.22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/5337535/AMRS07.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050777140","display_name":"Luca de Alfaro","orcid":"https://orcid.org/0000-0003-3856-4576"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"funder","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca de Alfaro","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"funder","lineage":["https://openalex.org/I4210088951"]},{"id":"https://openalex.org/I2800240351","display_name":"Mountain View College","ror":"https://ror.org/04fh8an03","country_code":"US","type":"education","lineage":["https://openalex.org/I1291072267","https://openalex.org/I2800240351"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rupak Majumdar","raw_affiliation_strings":["Computer Science Department, University of California, Mountain View, USA","Synopsys, Inc., Mountain View, USA"],"affiliations":[{"raw_affiliation_string":"Synopsys, Inc., Mountain View, USA","institution_ids":["https://openalex.org/I4210088951"]},{"raw_affiliation_string":"Computer Science Department, University of California, Mountain View, USA","institution_ids":["https://openalex.org/I2800240351"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108517584","display_name":"Vishwanath Raman","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"funder","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vishwanath Raman","raw_affiliation_strings":["Department of Computer Science, University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"funder","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["FMT Group, University of Twente, The Netherlands"],"affiliations":[{"raw_affiliation_string":"FMT Group, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.628,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":43,"citation_normalized_percentile":{"value":0.871212,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"108"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9978,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9916,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.62058616},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.5647632}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7621455},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6587271},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.62058616},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.60321236},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.5647632},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5277814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48762336},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.48451775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44141173},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35839868},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3416291},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33408558},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18609783},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13503402},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2007.22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://ris.utwente.nl/ws/files/5337535/AMRS07.pdf","pdf_url":"https://ris.utwente.nl/ws/files/5337535/AMRS07.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://ris.utwente.nl/ws/files/5337535/AMRS07.pdf","pdf_url":"https://ris.utwente.nl/ws/files/5337535/AMRS07.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.48,"display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":31,"referenced_works":["https://openalex.org/W138290785","https://openalex.org/W1482332845","https://openalex.org/W1488664597","https://openalex.org/W1496590343","https://openalex.org/W1531625469","https://openalex.org/W1538639190","https://openalex.org/W1553142094","https://openalex.org/W1582665553","https://openalex.org/W1606443439","https://openalex.org/W1607065182","https://openalex.org/W1734364899","https://openalex.org/W1757114815","https://openalex.org/W1793726001","https://openalex.org/W1850900101","https://openalex.org/W1852424686","https://openalex.org/W1982800675","https://openalex.org/W1985077192","https://openalex.org/W2015640848","https://openalex.org/W2017194981","https://openalex.org/W2044260813","https://openalex.org/W2048905609","https://openalex.org/W2060155289","https://openalex.org/W2107471150","https://openalex.org/W2109100253","https://openalex.org/W2142008356","https://openalex.org/W2144846366","https://openalex.org/W2260592993","https://openalex.org/W2575731723","https://openalex.org/W3027820740","https://openalex.org/W4232661759","https://openalex.org/W4298290503"],"related_works":["https://openalex.org/W3144317787","https://openalex.org/W3123320268","https://openalex.org/W2994519609","https://openalex.org/W2753578936","https://openalex.org/W2726593096","https://openalex.org/W2473542051","https://openalex.org/W2125381826","https://openalex.org/W2054269721","https://openalex.org/W2009776842","https://openalex.org/W1935138604"],"abstract_inverted_index":{"We":[0,132,202],"consider":[1],"two-player":[2,138],"games":[3,103,153],"played":[4],"over":[5,39],"finite":[6],"state":[7,130],"spaces":[8],"for":[9,33,137,199,207,215],"an":[10],"infinite":[11],"number":[12],"of":[13,55,67,82,89,121,129,151,171,193,197],"rounds.":[14],"At":[15],"each":[16],"state,":[17],"the":[18,23,53,64,97,101,105,116,119,147,159,188,194],"players":[19,34,98],"simultaneously":[20],"choose":[21,36],"moves;":[22],"moves":[24],"determine":[25],"a":[26,46,50,59,70,87,113,126,168],"successor":[27],"state.":[28],"It":[29],"is":[30,57,63],"often":[31],"advantageous":[32],"to":[35,191],"probability":[37,66,107,150],"distributions":[38],"moves,":[40],"rather":[41],"than":[42],"single":[43],"moves.":[44],"Given":[45,86],"goal":[47],"(e.g.,":[48],"\"reach":[49],"target":[51],"state\"),":[52],"question":[54],"winning":[56,68,90,122,152],"thus":[58],"probabilistic":[60],"one:":[61],"\"what":[62],"maximal":[65],"from":[69,108],"given":[71],"state?\".":[72],"On":[73],"these":[74],"game":[75,139],"structures,":[76,140],"two":[77,92],"fundamental":[78],"notions":[79],"are":[80,94,156],"those":[81],"equivalences":[83,134,208],"and":[84,135,141,176,185,209,214],"metrics.":[85],"set":[88,170],"conditions,":[91],"states":[93],"equivalent":[95],"if":[96],"can":[99,166],"win":[100],"same":[102,106],"with":[104],"both":[109,206],"states.":[110],"Metrics":[111],"provide":[112,187],"bound":[114],"on":[115],"difference":[117,148],"in":[118,149,158],"probabilities":[120],"across":[123],"states,":[124],"capturing":[125],"quantitative":[127,160,163],"notion":[128,196],"\"similarity\".":[131],"introduce":[133],"metrics":[136,186],"we":[142,180],"show":[143],"that":[144,182],"they":[145],"characterize":[146],"whose":[154],"goals":[155],"expressed":[157],"mu-calculus.":[161],"The":[162],"mu-":[164],"calculus":[165],"express":[167],"large":[169],"goals,":[172],"including":[173],"reachability,":[174],"safety,":[175],"omega-regular":[177],"properties.":[178],"Thus,":[179],"claim":[181],"our":[183,204],"relations":[184],"canonical":[189],"extensions":[190],"games,":[192],"classical":[195],"bisimulation":[198],"transition":[200],"systems.":[201],"develop":[203],"results":[205],"metrics,":[210],"which":[211,218],"generalize":[212,219],"bisimulation,":[213],"asymmetrical":[216],"versions,":[217],"simulation.":[220]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2157977984","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-04-10T03:31:27.272821","created_date":"2016-06-24"}