Publication Information

{'id': 'https://openalex.org/W2124110813', 'doi': 'https://doi.org/10.1109/sfcs.1997.646098', 'title': 'Alternating-time temporal logic', 'display_name': 'Alternating-time temporal logic', 'publication_year': 2002, 'publication_date': '2002-11-23', 'ids': {'openalex': 'https://openalex.org/W2124110813', 'doi': 'https://doi.org/10.1109/sfcs.1997.646098', 'mag': '2124110813'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/sfcs.1997.646098', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, '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://repository.upenn.edu/bitstreams/52fdb412-552d-46d9-b12c-9d2efabea071/download', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5065059795', 'display_name': 'Rajeev Alur', 'orcid': 'https://orcid.org/0000-0003-1733-7083'}, 'institutions': [{'id': 'https://openalex.org/I79576946', 'display_name': 'University of Pennsylvania', 'ror': 'https://ror.org/00b30xv10', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I79576946']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'R. Alur', 'raw_affiliation_strings': ['Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA'], 'affiliations': [{'raw_affiliation_string': 'Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA', 'institution_ids': ['https://openalex.org/I79576946']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5080555605', 'display_name': 'Thomas A. Henzinger', 'orcid': 'https://orcid.org/0000-0002-2985-7724'}, 'institutions': [{'id': 'https://openalex.org/I95457486', 'display_name': 'University of California, Berkeley', 'ror': 'https://ror.org/01an7q238', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I95457486']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'T.A. Henzinger', 'raw_affiliation_strings': ['University of California, Berkeley'], 'affiliations': [{'raw_affiliation_string': 'University of California, Berkeley', 'institution_ids': ['https://openalex.org/I95457486']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5077429082', 'display_name': 'Orna Kupferman', 'orcid': 'https://orcid.org/0000-0003-4699-6117'}, 'institutions': [{'id': 'https://openalex.org/I95457486', 'display_name': 'University of California, Berkeley', 'ror': 'https://ror.org/01an7q238', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I95457486']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'O. Kupferman', 'raw_affiliation_strings': ['University of California, Berkeley'], 'affiliations': [{'raw_affiliation_string': 'University of California, Berkeley', 'institution_ids': ['https://openalex.org/I95457486']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 15.584, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 301, 'citation_normalized_percentile': {'value': 0.999696, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 98, 'max': 99}, 'biblio': {'volume': None, 'issue': None, 'first_page': '100', 'last_page': '109'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9999, '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.9999, '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/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9995, '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/T11450', 'display_name': 'Model-Driven Software Engineering Techniques', 'score': 0.9956, 'subfield': {'id': 'https://openalex.org/subfields/1712', 'display_name': 'Software'}, '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/realizability', 'display_name': 'Realizability', 'score': 0.8130745}, {'id': 'https://openalex.org/keywords/computation-tree-logic', 'display_name': 'Computation tree logic', 'score': 0.5414792}], 'concepts': [{'id': 'https://openalex.org/C25016198', 'wikidata': 'https://www.wikidata.org/wiki/Q781833', 'display_name': 'Temporal logic', 'level': 2, 'score': 0.89407045}, {'id': 'https://openalex.org/C4777664', 'wikidata': 'https://www.wikidata.org/wiki/Q1536492', 'display_name': 'Linear temporal logic', 'level': 2, 'score': 0.88206965}, {'id': 'https://openalex.org/C2776378722', 'wikidata': 'https://www.wikidata.org/wiki/Q3454417', 'display_name': 'Realizability', 'level': 2, 'score': 0.8130745}, {'id': 'https://openalex.org/C11648818', 'wikidata': 'https://www.wikidata.org/wiki/Q2403081', 'display_name': 'Temporal logic of actions', 'level': 4, 'score': 0.734695}, {'id': 'https://openalex.org/C162670838', 'wikidata': 'https://www.wikidata.org/wiki/Q6057295', 'display_name': 'Interval temporal logic', 'level': 3, 'score': 0.68054116}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6132655}, {'id': 'https://openalex.org/C198008173', 'wikidata': 'https://www.wikidata.org/wiki/Q1040040', 'display_name': 'Computation tree logic', 'level': 3, 'score': 0.5414792}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.4407793}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.43035448}, {'id': 'https://openalex.org/C2777735758', 'wikidata': 'https://www.wikidata.org/wiki/Q817765', 'display_name': 'Path (computing)', 'level': 2, 'score': 0.41714326}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.34669316}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.33816636}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/sfcs.1997.646098', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://repository.upenn.edu/cis_reports/102', 'pdf_url': 'https://repository.upenn.edu/bitstreams/52fdb412-552d-46d9-b12c-9d2efabea071/download', 'source': {'id': 'https://openalex.org/S4306402083', 'display_name': 'ScholarlyCommons (University of Pennsylvania)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I79576946', 'host_organization_name': 'University of Pennsylvania', 'host_organization_lineage': ['https://openalex.org/I79576946'], 'host_organization_lineage_names': ['University of Pennsylvania'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://repository.upenn.edu/cis_reports/102', 'pdf_url': 'https://repository.upenn.edu/bitstreams/52fdb412-552d-46d9-b12c-9d2efabea071/download', 'source': {'id': 'https://openalex.org/S4306402083', 'display_name': 'ScholarlyCommons (University of Pennsylvania)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I79576946', 'host_organization_name': 'University of Pennsylvania', 'host_organization_lineage': ['https://openalex.org/I79576946'], 'host_organization_lineage_names': ['University of Pennsylvania'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 33, 'referenced_works': ['https://openalex.org/W1481109946', 'https://openalex.org/W1491037212', 'https://openalex.org/W1501062661', 'https://openalex.org/W1503002024', 'https://openalex.org/W1590315663', 'https://openalex.org/W1593428110', 'https://openalex.org/W1737156267', 'https://openalex.org/W1758995468', 'https://openalex.org/W1796678419', 'https://openalex.org/W1988808695', 'https://openalex.org/W2004306067', 'https://openalex.org/W2015640848', 'https://openalex.org/W2016206563', 'https://openalex.org/W2023808162', 'https://openalex.org/W2033071128', 'https://openalex.org/W2041403185', 'https://openalex.org/W2043507528', 'https://openalex.org/W2059057465', 'https://openalex.org/W2061438988', 'https://openalex.org/W2090398333', 'https://openalex.org/W2115309705', 'https://openalex.org/W2117189826', 'https://openalex.org/W2147999468', 'https://openalex.org/W2163151383', 'https://openalex.org/W2293400264', 'https://openalex.org/W2296646831', 'https://openalex.org/W2913425508', 'https://openalex.org/W2986444891', 'https://openalex.org/W3106753174', 'https://openalex.org/W4210886820', 'https://openalex.org/W4241108585', 'https://openalex.org/W4255982026', 'https://openalex.org/W4300021588'], 'related_works': ['https://openalex.org/W946220898', 'https://openalex.org/W858755136', 'https://openalex.org/W4232446061', 'https://openalex.org/W34682815', 'https://openalex.org/W31328628', 'https://openalex.org/W2352091395', 'https://openalex.org/W2124110813', 'https://openalex.org/W1593278247', 'https://openalex.org/W1532447905', 'https://openalex.org/W1526924704'], 'abstract_inverted_index': {'Temporal': [0], 'logic': [1, 8, 24, 46], 'comes': [2], 'in': [3, 63, 110], 'two': [4], 'varieties:': [5], 'linear-time': [6, 73], 'temporal': [7, 23, 42, 45, 98], 'assumes': [9], 'implicit': [10], 'universal': [11, 29], 'quantification': [12, 30, 49], 'over': [13, 31, 50], 'all': [14, 32], 'paths': [15, 52], 'that': [16, 53, 109], 'are': [17, 54, 77, 86], 'generated': [18], 'by': [19, 95], 'system': [20, 66, 115, 120], 'moves;': [21], 'branching-time': [22, 75], 'allows': [25], 'explicit': [26], 'existential': [27], 'and': [28, 67, 74, 116, 135], 'paths.': [33], 'We': [34], 'introduce': [35], 'a': [36, 102, 122, 126], 'third,': [37], 'more': [38], 'general': [39], 'variety': [40], 'of': [41, 57, 132], 'logic:': [43], 'alternating-time': [44, 84, 144], 'offers': [47], 'selective': [48, 103], 'those': [51], 'possible': [55], 'outcomes': [56], 'games,': [58], 'such': [59], 'as': [60, 140], 'the': [61, 65, 68, 97, 111, 114, 117, 119, 130], 'game': [62, 112], 'which': [64], 'environment': [69], 'alternate': [70], 'moves.': [71], 'While': [72], 'logics': [76, 85], 'natural': [78, 87], 'specification': [79, 88], 'languages': [80, 89], 'for': [81, 90, 143], 'closed': [82], 'systems,': [83], 'open': [91], 'systems.': [92], 'For': [93], 'example,': [94], 'preceding': [96], 'operator': [99], '"eventually"': [100], 'with': [101], 'path': [104], 'quantifier,': [105], 'we': [106], 'can': [107, 137], 'specify': [108], 'between': [113], 'environment,': [118], 'has': [121], 'strategy': [123], 'to': [124], 'reach': [125], 'certain': [127], 'state.': [128], 'Also': [129], 'problems': [131, 142], 'receptiveness,': [133], 'realizability,': [134], 'controllability': [136], 'be': [138], 'formulated': [139], 'model-checking': [141], 'formulas.': [145]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2124110813', 'counts_by_year': [{'year': 2024, 'cited_by_count': 6}, {'year': 2023, 'cited_by_count': 10}, {'year': 2022, 'cited_by_count': 10}, {'year': 2021, 'cited_by_count': 6}, {'year': 2020, 'cited_by_count': 7}, {'year': 2019, 'cited_by_count': 14}, {'year': 2018, 'cited_by_count': 5}, {'year': 2017, 'cited_by_count': 9}, {'year': 2016, 'cited_by_count': 7}, {'year': 2015, 'cited_by_count': 7}, {'year': 2014, 'cited_by_count': 9}, {'year': 2013, 'cited_by_count': 3}, {'year': 2012, 'cited_by_count': 9}], 'updated_date': '2024-12-24T10:09:19.613538', 'created_date': '2016-06-24'}