Publication Information

{'id': 'https://openalex.org/W4213436577', 'doi': 'https://doi.org/10.1142/s0218194022500061', 'title': 'Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples', 'display_name': 'Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples', 'publication_year': 2022, 'publication_date': '2022-01-01', 'ids': {'openalex': 'https://openalex.org/W4213436577', 'doi': 'https://doi.org/10.1142/s0218194022500061'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/s0218194022500061', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S131442419', 'display_name': 'International Journal of Software Engineering and Knowledge Engineering', 'issn_l': '0218-1940', 'issn': ['0218-1940', '1793-6403'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5008824087', 'display_name': 'Norihiro Kamide', 'orcid': 'https://orcid.org/0000-0001-7736-8055'}, 'institutions': [{'id': 'https://openalex.org/I87531838', 'display_name': 'Teikyo University', 'ror': 'https://ror.org/01gaw2478', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I87531838']}], 'countries': ['JP'], 'is_corresponding': True, 'raw_author_name': 'Norihiro Kamide', 'raw_affiliation_strings': ['Faculty of Science and Engineering, Department of Information and Electronic Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi 320-8551, Japan'], 'affiliations': [{'raw_affiliation_string': 'Faculty of Science and Engineering, Department of Information and Electronic Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi 320-8551, Japan', 'institution_ids': ['https://openalex.org/I87531838']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5008824087'], 'corresponding_institution_ids': ['https://openalex.org/I87531838'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.406, 'has_fulltext': False, 'cited_by_count': 2, 'citation_normalized_percentile': {'value': 0.689664, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 70, 'max': 76}, 'biblio': {'volume': '32', 'issue': '01', 'first_page': '131', 'last_page': '162'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9997, '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.9997, '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.9696, '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.9228, '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/probabilistic-ctl', 'display_name': 'Probabilistic CTL', 'score': 0.85766137}, {'id': 'https://openalex.org/keywords/computation-tree-logic', 'display_name': 'Computation tree logic', 'score': 0.7984392}], 'concepts': [{'id': 'https://openalex.org/C52063229', 'wikidata': 'https://www.wikidata.org/wiki/Q7246845', 'display_name': 'Probabilistic CTL', 'level': 4, 'score': 0.85766137}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.85128856}, {'id': 'https://openalex.org/C198008173', 'wikidata': 'https://www.wikidata.org/wiki/Q1040040', 'display_name': 'Computation tree logic', 'level': 3, 'score': 0.7984392}, {'id': 'https://openalex.org/C49937458', 'wikidata': 'https://www.wikidata.org/wiki/Q2599292', 'display_name': 'Probabilistic logic', 'level': 2, 'score': 0.73100364}, {'id': 'https://openalex.org/C153269930', 'wikidata': 'https://www.wikidata.org/wiki/Q430001', 'display_name': 'Decidability', 'level': 2, 'score': 0.68159145}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6694404}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.571115}, {'id': 'https://openalex.org/C25016198', 'wikidata': 'https://www.wikidata.org/wiki/Q781833', 'display_name': 'Temporal logic', 'level': 2, 'score': 0.4753727}, {'id': 'https://openalex.org/C45374587', 'wikidata': 'https://www.wikidata.org/wiki/Q12525525', 'display_name': 'Computation', 'level': 2, 'score': 0.41344061}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.37762967}, {'id': 'https://openalex.org/C24404364', 'wikidata': 'https://www.wikidata.org/wiki/Q7246846', 'display_name': 'Probabilistic analysis of algorithms', 'level': 3, 'score': 0.24293524}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.13436997}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/s0218194022500061', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S131442419', 'display_name': 'International Journal of Software Engineering and Knowledge Engineering', 'issn_l': '0218-1940', 'issn': ['0218-1940', '1793-6403'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 36, 'referenced_works': ['https://openalex.org/W1511105469', 'https://openalex.org/W1551897999', 'https://openalex.org/W1590315663', 'https://openalex.org/W1595523092', 'https://openalex.org/W1601373402', 'https://openalex.org/W1862398452', 'https://openalex.org/W1948104915', 'https://openalex.org/W1995254356', 'https://openalex.org/W2003090976', 'https://openalex.org/W2005998857', 'https://openalex.org/W2012457462', 'https://openalex.org/W2015927812', 'https://openalex.org/W2019529782', 'https://openalex.org/W2045429762', 'https://openalex.org/W2051580064', 'https://openalex.org/W2060658047', 'https://openalex.org/W2078596062', 'https://openalex.org/W2150425213', 'https://openalex.org/W2529745415', 'https://openalex.org/W2578014083', 'https://openalex.org/W26772505', 'https://openalex.org/W2752596881', 'https://openalex.org/W2792432489', 'https://openalex.org/W2803993242', 'https://openalex.org/W2889045280', 'https://openalex.org/W2912640545', 'https://openalex.org/W2921500406', 'https://openalex.org/W2921679380', 'https://openalex.org/W295891996', 'https://openalex.org/W3126689819', 'https://openalex.org/W3146347964', 'https://openalex.org/W4211033084', 'https://openalex.org/W4233995506', 'https://openalex.org/W4245674526', 'https://openalex.org/W64416701', 'https://openalex.org/W68069235'], 'related_works': ['https://openalex.org/W4213436577', 'https://openalex.org/W3005864166', 'https://openalex.org/W2753745283', 'https://openalex.org/W2234073770', 'https://openalex.org/W2203774400', 'https://openalex.org/W2103740034', 'https://openalex.org/W2095002986', 'https://openalex.org/W1981889059', 'https://openalex.org/W1551070491', 'https://openalex.org/W14017695'], 'abstract_inverted_index': {'In': [0], 'this': [1, 122], 'study,': [2, 123], 'an': [3], 'inconsistency-tolerant': [4], 'hierarchical': [5], 'probabilistic': [6, 52, 57, 67], 'computation': [7, 58], 'tree': [8, 59], 'logic': [9, 54, 60], '(IHpCTL)': [10], 'is': [11, 27, 41, 63, 71, 79], 'developed': [12], 'to': [13, 21, 29, 73, 84], 'establish': [14], 'a': [15], 'new': [16, 125], 'extended': [17], 'model-checking': [18, 114], 'paradigm': [19], 'referred': [20], 'as': [22, 56], 'IHpCTL': [23, 40, 70, 117, 136], 'model': [24, 68, 118, 137], 'checking,': [25], 'which': [26, 62], 'intended': [28], 'verify': [30], 'randomized,': [31], 'open,': [32], 'large,': [33], 'and': [34, 78], 'complex': [35], 'concurrent': [36], 'systems.': [37], 'The': [38, 102], 'proposed': [39, 112], 'constructed': [42], 'based': [43, 134], 'on': [44, 135], 'several': [45], 'previously': [46, 111], 'established': [47], 'extensions': [48], 'of': [49, 91, 100], 'the': [50, 89, 98, 110], 'standard': [51], 'temporal': [53], 'known': [55], '(pCTL),': [61], 'widely': [64], 'used': [65], 'for': [66, 116, 128], 'checking.': [69, 119, 138], 'shown': [72], 'be': [74], 'embeddable': [75], 'into': [76], 'pCTL': [77, 92, 113], 'relatively': [80], 'decidable': [81], 'with': [82, 93], 'respect': [83], 'pCTL.': [85], 'This': [86], 'means': [87], 'that': [88, 105], 'decidability': [90, 99], 'certain': [94], 'probability': [95], 'measures': [96], 'implies': [97], 'IHpCTL.': [101], 'results': [103], 'indicate': [104], 'we': [106], 'can': [107], 'effectively': [108], 'reuse': [109], 'algorithms': [115], 'Moreover,': [120], 'in': [121], 'some': [124], 'illustrative': [126], 'examples': [127], 'clinical': [129], 'reasoning': [130], 'verification': [131], 'are': [132], 'addressed': [133]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4213436577', 'counts_by_year': [{'year': 2023, 'cited_by_count': 1}, {'year': 2022, 'cited_by_count': 1}], 'updated_date': '2024-12-17T16:04:34.200754', 'created_date': '2022-02-25'}