Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W4214926706', 'doi': 'https://doi.org/10.1007/s10515-022-00327-z', 'title': 'A three-valued model abstraction framework for PCTL* stochastic model checking', 'display_name': 'A three-valued model abstraction framework for PCTL* stochastic model checking', 'publication_year': 2022, 'publication_date': '2022-03-02', 'ids': {'openalex': 'https://openalex.org/W4214926706', 'doi': 'https://doi.org/10.1007/s10515-022-00327-z'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/s10515-022-00327-z', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210177399', 'display_name': 'Automated Software Engineering', 'issn_l': '0928-8910', 'issn': ['0928-8910', '1573-7535'], '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], '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/A5100355692', 'display_name': 'Yang Liu', 'orcid': 'https://orcid.org/0000-0001-7300-9215'}, 'institutions': [{'id': 'https://openalex.org/I96733725', 'display_name': 'Shanghai Maritime University', 'ror': 'https://ror.org/04z7qrj66', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I96733725']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Yang Liu', 'raw_affiliation_strings': ['Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai, 201306, China'], 'affiliations': [{'raw_affiliation_string': 'Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai, 201306, China', 'institution_ids': ['https://openalex.org/I96733725']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5102862727', 'display_name': 'Yan Ma', 'orcid': 'https://orcid.org/0009-0000-2525-0055'}, 'institutions': [{'id': 'https://openalex.org/I137056471', 'display_name': 'Nanjing University of Finance and Economics', 'ror': 'https://ror.org/031y8am81', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I137056471']}], 'countries': ['CN'], 'is_corresponding': True, 'raw_author_name': 'Yan Ma', 'raw_affiliation_strings': ['School of Accounting, Nanjing University of Finance and Economics, Nanjing, 210023, China'], 'affiliations': [{'raw_affiliation_string': 'School of Accounting, Nanjing University of Finance and Economics, Nanjing, 210023, China', 'institution_ids': ['https://openalex.org/I137056471']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5100606352', 'display_name': 'Yongsheng Yang', 'orcid': 'https://orcid.org/0000-0003-1616-2453'}, 'institutions': [{'id': 'https://openalex.org/I96733725', 'display_name': 'Shanghai Maritime University', 'ror': 'https://ror.org/04z7qrj66', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I96733725']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Yongsheng Yang', 'raw_affiliation_strings': ['Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai, 201306, China'], 'affiliations': [{'raw_affiliation_string': 'Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai, 201306, China', 'institution_ids': ['https://openalex.org/I96733725']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': ['https://openalex.org/A5102862727'], 'corresponding_institution_ids': ['https://openalex.org/I137056471'], 'apc_list': {'value': 2290, 'currency': 'EUR', 'value_usd': 2890, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 60}, 'biblio': {'volume': '29', 'issue': '1', 'first_page': None, 'last_page': None}, '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/T12423', 'display_name': 'Software Reliability and Analysis Research', 'score': 0.9978, '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'}}, {'id': 'https://openalex.org/T10743', 'display_name': 'Software Testing and Debugging Techniques', 'score': 0.9967, '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.8103224}, {'id': 'https://openalex.org/keywords/abstraction-model-checking', 'display_name': 'Abstraction model checking', 'score': 0.62686145}, {'id': 'https://openalex.org/keywords/probabilistic-automaton', 'display_name': 'Probabilistic automaton', 'score': 0.622345}, {'id': 'https://openalex.org/keywords/computation-tree-logic', 'display_name': 'Computation tree logic', 'score': 0.60611075}, {'id': 'https://openalex.org/keywords/probabilistic-relevance-model', 'display_name': 'Probabilistic relevance model', 'score': 0.4957877}, {'id': 'https://openalex.org/keywords/predicate-abstraction', 'display_name': 'Predicate abstraction', 'score': 0.4713466}, {'id': 'https://openalex.org/keywords/binary-decision-diagram', 'display_name': 'Binary decision diagram', 'score': 0.4481239}, {'id': 'https://openalex.org/keywords/nondeterministic-algorithm', 'display_name': 'Nondeterministic algorithm', 'score': 0.43918025}, {'id': 'https://openalex.org/keywords/abstraction', 'display_name': 'Abstraction', 'score': 0.4375003}], 'concepts': [{'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.84129703}, {'id': 'https://openalex.org/C52063229', 'wikidata': 'https://www.wikidata.org/wiki/Q7246845', 'display_name': 'Probabilistic CTL', 'level': 4, 'score': 0.8103224}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6964977}, {'id': 'https://openalex.org/C49937458', 'wikidata': 'https://www.wikidata.org/wiki/Q2599292', 'display_name': 'Probabilistic logic', 'level': 2, 'score': 0.66598976}, {'id': 'https://openalex.org/C30888246', 'wikidata': 'https://www.wikidata.org/wiki/Q4669969', 'display_name': 'Abstraction model checking', 'level': 3, 'score': 0.62686145}, {'id': 'https://openalex.org/C174784677', 'wikidata': 'https://www.wikidata.org/wiki/Q176567', 'display_name': 'Probabilistic automaton', 'level': 3, 'score': 0.622345}, {'id': 'https://openalex.org/C198008173', 'wikidata': 'https://www.wikidata.org/wiki/Q1040040', 'display_name': 'Computation tree logic', 'level': 3, 'score': 0.60611075}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.53683865}, {'id': 'https://openalex.org/C143017306', 'wikidata': 'https://www.wikidata.org/wiki/Q3318133', 'display_name': 'Probabilistic relevance model', 'level': 4, 'score': 0.4957877}, {'id': 'https://openalex.org/C2779907942', 'wikidata': 'https://www.wikidata.org/wiki/Q7239630', 'display_name': 'Predicate abstraction', 'level': 3, 'score': 0.4713466}, {'id': 'https://openalex.org/C3309909', 'wikidata': 'https://www.wikidata.org/wiki/Q864155', 'display_name': 'Binary decision diagram', 'level': 2, 'score': 0.4481239}, {'id': 'https://openalex.org/C176181172', 'wikidata': 'https://www.wikidata.org/wiki/Q3490301', 'display_name': 'Nondeterministic algorithm', 'level': 2, 'score': 0.43918025}, {'id': 'https://openalex.org/C124304363', 'wikidata': 'https://www.wikidata.org/wiki/Q673661', 'display_name': 'Abstraction', 'level': 2, 'score': 0.4375003}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.3437732}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.14701787}, {'id': 'https://openalex.org/C24404364', 'wikidata': 'https://www.wikidata.org/wiki/Q7246846', 'display_name': 'Probabilistic analysis of algorithms', 'level': 3, 'score': 0.14046776}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/s10515-022-00327-z', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210177399', 'display_name': 'Automated Software Engineering', 'issn_l': '0928-8910', 'issn': ['0928-8910', '1573-7535'], '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], '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': 91, 'referenced_works': ['https://openalex.org/W100229751', 'https://openalex.org/W103774727', 'https://openalex.org/W139143222', 'https://openalex.org/W1481528147', 'https://openalex.org/W1497573972', 'https://openalex.org/W1498432697', 'https://openalex.org/W1528441743', 'https://openalex.org/W1536007121', 'https://openalex.org/W1547562281', 'https://openalex.org/W1550039437', 'https://openalex.org/W1577626490', 'https://openalex.org/W1596602992', 'https://openalex.org/W1603153151', 'https://openalex.org/W16120781', 'https://openalex.org/W1704074244', 'https://openalex.org/W1801185978', 'https://openalex.org/W1810681804', 'https://openalex.org/W1850679117', 'https://openalex.org/W1862398452', 'https://openalex.org/W1869716833', 'https://openalex.org/W1934074768', 'https://openalex.org/W1964116449', 'https://openalex.org/W1972065960', 'https://openalex.org/W1976268573', 'https://openalex.org/W1984957636', 'https://openalex.org/W1998422337', 'https://openalex.org/W1998779352', 'https://openalex.org/W2006553351', 'https://openalex.org/W2030935018', 'https://openalex.org/W2031470941', 'https://openalex.org/W2037667383', 'https://openalex.org/W2048340696', 'https://openalex.org/W2052092737', 'https://openalex.org/W2068361557', 'https://openalex.org/W2080593426', 'https://openalex.org/W2088501121', 'https://openalex.org/W2098245493', 'https://openalex.org/W2108898597', 'https://openalex.org/W2111765806', 'https://openalex.org/W2114710208', 'https://openalex.org/W2115555017', 'https://openalex.org/W2117337678', 'https://openalex.org/W2127574686', 'https://openalex.org/W2130793115', 'https://openalex.org/W2137865376', 'https://openalex.org/W2139324000', 'https://openalex.org/W2143784257', 'https://openalex.org/W2148745480', 'https://openalex.org/W2154905642', 'https://openalex.org/W2160960583', 'https://openalex.org/W2166422915', 'https://openalex.org/W2295562750', 'https://openalex.org/W2302717412', 'https://openalex.org/W2345422704', 'https://openalex.org/W2411900593', 'https://openalex.org/W2561675875', 'https://openalex.org/W2625519638', 'https://openalex.org/W2737311341', 'https://openalex.org/W2761295607', 'https://openalex.org/W2785236715', 'https://openalex.org/W2790309851', 'https://openalex.org/W2799242129', 'https://openalex.org/W2905381478', 'https://openalex.org/W2912640545', 'https://openalex.org/W2913788705', 'https://openalex.org/W2916826920', 'https://openalex.org/W2932200608', 'https://openalex.org/W2944963859', 'https://openalex.org/W2951796861', 'https://openalex.org/W2954171600', 'https://openalex.org/W2962910777', 'https://openalex.org/W2967639977', 'https://openalex.org/W2979774998', 'https://openalex.org/W2981423273', 'https://openalex.org/W2981680275', 'https://openalex.org/W2989068089', 'https://openalex.org/W3002022654', 'https://openalex.org/W3019187101', 'https://openalex.org/W3042980517', 'https://openalex.org/W3046712683', 'https://openalex.org/W3047975027', 'https://openalex.org/W3096170609', 'https://openalex.org/W3098133185', 'https://openalex.org/W3124931799', 'https://openalex.org/W3125330751', 'https://openalex.org/W3184008713', 'https://openalex.org/W4205623878', 'https://openalex.org/W4235088814', 'https://openalex.org/W4238122987', 'https://openalex.org/W4238710424', 'https://openalex.org/W477134'], 'related_works': ['https://openalex.org/W4214926706', 'https://openalex.org/W3149394920', 'https://openalex.org/W2971669726', 'https://openalex.org/W2472062783', 'https://openalex.org/W2097271450', 'https://openalex.org/W2065600216', 'https://openalex.org/W2038056353', 'https://openalex.org/W1598283203', 'https://openalex.org/W1556044724', 'https://openalex.org/W1535566948'], 'abstract_inverted_index': None, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4214926706', 'counts_by_year': [], 'updated_date': '2024-12-08T05:13:05.928542', 'created_date': '2022-03-05'}