{"id":"https://openalex.org/W133924879","doi":"https://doi.org/10.1007/978-3-319-09764-0_11","title":"Synthesis and Verification of Uniform Strategies for Multi-agent Systems","display_name":"Synthesis and Verification of Uniform Strategies for Multi-agent Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W133924879","doi":"https://doi.org/10.1007/978-3-319-09764-0_11","mag":"133924879"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-09764-0_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-09764-0_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5065999856","display_name":"Jerzy Pilecki","orcid":null},"institutions":[{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"funder","lineage":["https://openalex.org/I99542240"]},{"id":"https://openalex.org/I66083562","display_name":"Systems Research Institute","ror":"https://ror.org/0111cp837","country_code":"PL","type":"facility","lineage":["https://openalex.org/I66083562","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Jerzy Pilecki","raw_affiliation_strings":["Systems Research Institute, Polish Academy of Sciences, Poland",", Polish Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Systems Research Institute, Polish Academy of Sciences, Poland","institution_ids":["https://openalex.org/I66083562","https://openalex.org/I99542240"]},{"raw_affiliation_string":", Polish Academy of Sciences","institution_ids":["https://openalex.org/I99542240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028217957","display_name":"Marek A. Bednarczyk","orcid":null},"institutions":[{"id":"https://openalex.org/I3017851245","display_name":"Polish-Japanese Academy of Information Technology","ror":"https://ror.org/01v542j61","country_code":"PL","type":"education","lineage":["https://openalex.org/I3017851245"]},{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"funder","lineage":["https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marek A. Bednarczyk","raw_affiliation_strings":["Institute of Computer Science, Polish Academy of Sciences, Poland","Polish-Japanese Institute of Information Technology, Poland","Polish Academy of Sciences","Polish\u2013Japanese Institute of Information Technology"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Polish Academy of Sciences, Poland","institution_ids":["https://openalex.org/I99542240","https://openalex.org/I4210087266"]},{"raw_affiliation_string":"Polish-Japanese Institute of Information Technology, Poland","institution_ids":["https://openalex.org/I3017851245"]},{"raw_affiliation_string":"Polish Academy of Sciences","institution_ids":["https://openalex.org/I99542240"]},{"raw_affiliation_string":"Polish\u2013Japanese Institute of Information Technology","institution_ids":["https://openalex.org/I3017851245"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019701853","display_name":"Wojciech Jamroga","orcid":"https://orcid.org/0000-0001-6340-8845"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE","LU"],"is_corresponding":false,"raw_author_name":"Wojciech Jamroga","raw_affiliation_strings":["CSC & SnT, University of Luxembourg, Luxembourg","Department of Informatics, Clausthal University of Technology, Germany","University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Campus Kirchberg, 6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg","CSC & SnT, University of Luxembourg","Clausthal University of Technology"],"affiliations":[{"raw_affiliation_string":"CSC & SnT, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"Department of Informatics, Clausthal University of Technology, Germany","institution_ids":["https://openalex.org/I43980791"]},{"raw_affiliation_string":"University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Campus Kirchberg, 6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"CSC & SnT, University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"Clausthal University of Technology","institution_ids":["https://openalex.org/I43980791"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065999856"],"corresponding_institution_ids":["https://openalex.org/I66083562","https://openalex.org/I99542240"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.8029,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.90624373,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"166","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8188267946243286},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6915640830993652},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6732841730117798},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.670495331287384},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5538962483406067},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.5505382418632507},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5346815586090088},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5089702606201172},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49365219473838806},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4934667646884918},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48983022570610046},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.48866942524909973},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18714919686317444},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15432721376419067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13909196853637695}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8188267946243286},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6915640830993652},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6732841730117798},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.670495331287384},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5538962483406067},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.5505382418632507},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5346815586090088},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5089702606201172},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49365219473838806},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4934667646884918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48983022570610046},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.48866942524909973},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18714919686317444},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15432721376419067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13909196853637695},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-09764-0_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-09764-0_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W23610767","https://openalex.org/W148235500","https://openalex.org/W179646780","https://openalex.org/W1495293721","https://openalex.org/W1508563258","https://openalex.org/W1556566737","https://openalex.org/W1587990038","https://openalex.org/W1596365597","https://openalex.org/W1976993163","https://openalex.org/W1980150203","https://openalex.org/W1999134680","https://openalex.org/W2015907520","https://openalex.org/W2024664992","https://openalex.org/W2034301573","https://openalex.org/W2043435342","https://openalex.org/W2048905609","https://openalex.org/W2116509046","https://openalex.org/W2124110813","https://openalex.org/W2133693398","https://openalex.org/W2157438678","https://openalex.org/W2159652932","https://openalex.org/W2260785341","https://openalex.org/W2613922719","https://openalex.org/W3023081192","https://openalex.org/W4244503466"],"related_works":["https://openalex.org/W2360321812","https://openalex.org/W2395295193","https://openalex.org/W1551070491","https://openalex.org/W3122057932","https://openalex.org/W2034301573","https://openalex.org/W3088364074","https://openalex.org/W2113798763","https://openalex.org/W2004230228","https://openalex.org/W2610227658","https://openalex.org/W2900431508"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}