乐胖代购免代理版

{"id":"https://openalex.org/W2143727518","doi":"https://doi.org/10.4230/lipics.fsttcs.2008.1745","title":"Algorithms for Game Metrics","display_name":"Algorithms for Game Metrics","publication_year":2008,"publication_date":"2008-09-25","ids":{"openalex":"https://openalex.org/W2143727518","doi":"https://doi.org/10.4230/lipics.fsttcs.2008.1745","mag":"2143727518"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://arxiv.org/pdf/0809.4326.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"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/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["University of California/Santa Cruz."],"affiliations":[{"raw_affiliation_string":"University of California/Santa Cruz.","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","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":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca de Alfaro","raw_affiliation_strings":["University of California/Santa Cruz."],"affiliations":[{"raw_affiliation_string":"University of California/Santa Cruz.","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029288397","display_name":"Ritankar S Majumdar","orcid":null},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ritankar S Majumdar","raw_affiliation_strings":["University of California/Santa Cruz."],"affiliations":[{"raw_affiliation_string":"University of California/Santa Cruz.","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","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":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vishwanath Raman","raw_affiliation_strings":["University of California\u2013Los Angeles"],"affiliations":[{"raw_affiliation_string":"University of California\u2013Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.442,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.610961,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":78,"max":80},"biblio":{"volume":"2","issue":null,"first_page":"107","last_page":"118"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9989,"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.9989,"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/T10142","display_name":"Formal Methods in Verification","score":0.9982,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9942,"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.67207533}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.67207533},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6250073},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5512692},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.48616526},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.48299015},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.4783306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4460731},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.44299486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4274644},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3974014},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38631207},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3654412},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.35129434},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34837598},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.2755004},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10628599},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://arxiv.org/pdf/0809.4326.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.63,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":37,"referenced_works":["https://openalex.org/W1496590343","https://openalex.org/W1501881008","https://openalex.org/W1531625469","https://openalex.org/W1545300203","https://openalex.org/W1582665553","https://openalex.org/W1586460111","https://openalex.org/W1734364899","https://openalex.org/W1757114815","https://openalex.org/W1762983356","https://openalex.org/W1793726001","https://openalex.org/W1852424686","https://openalex.org/W1888841230","https://openalex.org/W1982429087","https://openalex.org/W1982800675","https://openalex.org/W1985077192","https://openalex.org/W1990183105","https://openalex.org/W2017027749","https://openalex.org/W2017194981","https://openalex.org/W2044260813","https://openalex.org/W2048905609","https://openalex.org/W2052512547","https://openalex.org/W2060155289","https://openalex.org/W2066194644","https://openalex.org/W2067754486","https://openalex.org/W2068361557","https://openalex.org/W2098432798","https://openalex.org/W2107471150","https://openalex.org/W2142008356","https://openalex.org/W2151033164","https://openalex.org/W2157977984","https://openalex.org/W2163896211","https://openalex.org/W2482857025","https://openalex.org/W2503332865","https://openalex.org/W2575731723","https://openalex.org/W2963057480","https://openalex.org/W3099747567","https://openalex.org/W41007281"],"related_works":["https://openalex.org/W340925356","https://openalex.org/W3183391041","https://openalex.org/W3170397223","https://openalex.org/W3105443234","https://openalex.org/W3098074484","https://openalex.org/W2972311785","https://openalex.org/W2962984263","https://openalex.org/W2950612418","https://openalex.org/W2950230686","https://openalex.org/W2921791163","https://openalex.org/W2729286180","https://openalex.org/W2289000419","https://openalex.org/W2143473941","https://openalex.org/W2143160814","https://openalex.org/W2114870555","https://openalex.org/W2095823805","https://openalex.org/W1604830477","https://openalex.org/W1591487547","https://openalex.org/W1566138946","https://openalex.org/W1564803936"],"abstract_inverted_index":{"Simulation":[0],"and":[1,48,54,99,137],"bisimulation":[2,118],"metrics":[3,17,40,236],"for":[4,37,94,113,133,147],"stochastic":[5,46],"systems":[6],"provide":[7,57],"a\r\nquantitative":[8],"generalization":[9],"of":[10,21,67,101,120,202],"the":[11,19,29,39,65,68,87,96,103,109,117,121,140,158,169,184,200,218,235],"classical":[12],"simulation":[13],"and\r\nbisimulation":[14],"relations.":[15],"\r\nThese":[16,228],"capture":[18],"similarity":[20],"states":[22,161],"with":[23,209,222],"respect":[24],"to\r\nquantitative":[25],"specifications":[26],"written":[27],"in":[28,130,177],"quantitative":[30],"$\\mu$-calculus\r\nand":[31],"related":[32],"probabilistic":[33],"logics.\r\n\r\nWe":[34],"present":[35,91],"algorithms":[36,93,229],"computing":[38,157,168],"on":[41,61,77,83],"Markov\r\ndecision":[42],"processes":[43],"(MDPs),":[44],"turn-based":[45,52],"games,":[47],"concurrent\r\ngames.":[49],"\r\nFor":[51,116],"games":[53,136,173],"MDPs,":[55],"we":[56,154],"a":[58,84,150,190,197,207],"polynomial-time":[59],"algorithm\r\nbased":[60],"linear":[62],"programming":[63],"\r\nfor":[64],"computation":[66],"one-step":[69],"metric":[70,104,185],"distance":[71,105,186],"between":[72,106],"states.":[73],"\r\nThe":[74],"algorithm":[75,81,128,146],"improves":[76],"the\r\npreviously":[78],"known":[79,111,143,220],"exponential-time":[80],"based":[82],"reduction":[85,198,221],"to":[86,125,199,233],"theory":[88,201],"of\r\nreals.\r\nWe":[89],"then":[90],"PSPACE":[92],"both":[95,134],"decision":[97],"problem":[98,176],"the\r\nproblem":[100],"approximating":[102],"two":[107],"states,\r\nmatching":[108],"best":[110,142],"bound":[112],"Markov":[114],"chains.":[115],"kernel":[119],"metric,":[122],"which":[123],"corresponds":[124],"probabilistic\r\nbisimulation,":[126],"our":[127],"works":[129],"time":[131,145,215,225],"$\\calo(n^4)$":[132],"\r\nturn-based":[135],"MDPs;":[138],"improving":[139,217],"previously":[141,219],"\r\n$\\calo(n^9\\cdot\\log(n))$":[144],"MDPs.":[148],"\r\n\r\nFor":[149],"concurrent":[151],"game":[152],"$G$,":[153],"show":[155,180],"that":[156,181],"exact":[159],"distance\r\nbetween":[160],"is":[162,187],"at":[163],"least":[164],"as":[165,167],"hard":[166],"value":[170],"of\r\nconcurrent":[171],"reachability":[172],"and\r\nthe":[174],"square-root-sum":[175],"computational":[178],"geometry.\r\nWe":[179],"checking":[182],"whether":[183],"bounded":[188],"by":[189],"\r\nrational":[191],"$r$,":[192],"can":[193,230],"be":[194,231],"accomplished":[195],"via":[196],"\r\nreal":[203],"closed":[204],"fields,":[205],"involving":[206],"formula":[208],"three":[210],"quantifier":[211],"\r\nalternations,":[212],"yielding":[213],"$\\calo(|G|^{\\calo(|G|^5)})$":[214],"\r\ncomplexity,":[216],"\r\n$\\calo(|G|^{\\calo(|G|^7)})$":[224],"complexity.":[226],"iterated":[232],"approximate":[234],"using\r\nbinary":[237],"search.":[238]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2143727518","counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-10T08:07:52.916859","created_date":"2016-06-24"}