Publication Information

{'id': 'https://openalex.org/W2576017016', 'doi': 'https://doi.org/10.3233/978-1-61499-627-9-1', 'title': 'Probabilistic Model Checking', 'display_name': 'Probabilistic Model Checking', 'publication_year': 2016, 'publication_date': '2016-01-01', 'ids': {'openalex': 'https://openalex.org/W2576017016', 'doi': 'https://doi.org/10.3233/978-1-61499-627-9-1', 'mag': '2576017016'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.3233/978-1-61499-627-9-1', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': [], '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/A5091344667', 'display_name': 'Christel Baier', 'orcid': 'https://orcid.org/0000-0002-5321-9343'}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'Christel Baier', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5091344667'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 2.71, 'has_fulltext': False, 'cited_by_count': 40, 'citation_normalized_percentile': {'value': 0.999887, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 95, 'max': 96}, 'biblio': {'volume': None, 'issue': None, 'first_page': '1', 'last_page': '23'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9998, '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.9998, '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.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'}}, {'id': 'https://openalex.org/T10639', 'display_name': 'Advanced Software Engineering Methodologies', 'score': 0.9954, '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/probabilistic-ctl', 'display_name': 'Probabilistic CTL', 'score': 0.89768744}, {'id': 'https://openalex.org/keywords/probabilistic-relevance-model', 'display_name': 'Probabilistic relevance model', 'score': 0.7726779}, {'id': 'https://openalex.org/keywords/liveness', 'display_name': 'Liveness', 'score': 0.6273256}, {'id': 'https://openalex.org/keywords/computation-tree-logic', 'display_name': 'Computation tree logic', 'score': 0.49654847}, {'id': 'https://openalex.org/keywords/probabilistic-argumentation', 'display_name': 'Probabilistic argumentation', 'score': 0.49016413}], 'concepts': [{'id': 'https://openalex.org/C52063229', 'wikidata': 'https://www.wikidata.org/wiki/Q7246845', 'display_name': 'Probabilistic CTL', 'level': 4, 'score': 0.89768744}, {'id': 'https://openalex.org/C49937458', 'wikidata': 'https://www.wikidata.org/wiki/Q2599292', 'display_name': 'Probabilistic logic', 'level': 2, 'score': 0.8081188}, {'id': 'https://openalex.org/C143017306', 'wikidata': 'https://www.wikidata.org/wiki/Q3318133', 'display_name': 'Probabilistic relevance model', 'level': 4, 'score': 0.7726779}, {'id': 'https://openalex.org/C15569618', 'wikidata': 'https://www.wikidata.org/wiki/Q3561421', 'display_name': 'Liveness', 'level': 2, 'score': 0.6273256}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6189795}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.60977876}, {'id': 'https://openalex.org/C106189395', 'wikidata': 'https://www.wikidata.org/wiki/Q176789', 'display_name': 'Markov decision process', 'level': 3, 'score': 0.57310945}, {'id': 'https://openalex.org/C25016198', 'wikidata': 'https://www.wikidata.org/wiki/Q781833', 'display_name': 'Temporal logic', 'level': 2, 'score': 0.53465027}, {'id': 'https://openalex.org/C98763669', 'wikidata': 'https://www.wikidata.org/wiki/Q176645', 'display_name': 'Markov chain', 'level': 2, 'score': 0.53257823}, {'id': 'https://openalex.org/C55439883', 'wikidata': 'https://www.wikidata.org/wiki/Q360812', 'display_name': 'Correctness', 'level': 2, 'score': 0.5133597}, {'id': 'https://openalex.org/C198008173', 'wikidata': 'https://www.wikidata.org/wiki/Q1040040', 'display_name': 'Computation tree logic', 'level': 3, 'score': 0.49654847}, {'id': 'https://openalex.org/C128828806', 'wikidata': 'https://www.wikidata.org/wiki/Q7246848', 'display_name': 'Probabilistic argumentation', 'level': 3, 'score': 0.49016413}, {'id': 'https://openalex.org/C149441793', 'wikidata': 'https://www.wikidata.org/wiki/Q200726', 'display_name': 'Probability distribution', 'level': 2, 'score': 0.4861195}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.48194647}, {'id': 'https://openalex.org/C159886148', 'wikidata': 'https://www.wikidata.org/wiki/Q176645', 'display_name': 'Markov process', 'level': 2, 'score': 0.37930205}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.3254125}, {'id': 'https://openalex.org/C24404364', 'wikidata': 'https://www.wikidata.org/wiki/Q7246846', 'display_name': 'Probabilistic analysis of algorithms', 'level': 3, 'score': 0.32251704}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.29686144}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.21979082}, {'id': 'https://openalex.org/C119857082', 'wikidata': 'https://www.wikidata.org/wiki/Q2539', 'display_name': 'Machine learning', 'level': 1, 'score': 0.1743744}, {'id': 'https://openalex.org/C105795698', 'wikidata': 'https://www.wikidata.org/wiki/Q12483', 'display_name': 'Statistics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.3233/978-1-61499-627-9-1', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/16', 'score': 0.65, 'display_name': 'Peace, justice, and strong institutions'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 85, 'referenced_works': ['https://openalex.org/W120106741', 'https://openalex.org/W138290785', 'https://openalex.org/W1482727770', 'https://openalex.org/W1489359924', 'https://openalex.org/W1489725951', 'https://openalex.org/W1491322982', 'https://openalex.org/W1497670448', 'https://openalex.org/W1498432697', 'https://openalex.org/W1502518842', 'https://openalex.org/W1516256348', 'https://openalex.org/W1516806823', 'https://openalex.org/W1525935082', 'https://openalex.org/W1551707370', 'https://openalex.org/W1555770805', 'https://openalex.org/W1561838634', 'https://openalex.org/W1561934984', 'https://openalex.org/W1596186423', 'https://openalex.org/W1597181838', 'https://openalex.org/W1603153151', 'https://openalex.org/W1606764134', 'https://openalex.org/W1617322827', 'https://openalex.org/W1627367978', 'https://openalex.org/W1667094241', 'https://openalex.org/W1679405140', 'https://openalex.org/W1762983356', 'https://openalex.org/W1780789845', 'https://openalex.org/W1795375859', 'https://openalex.org/W1801185978', 'https://openalex.org/W1806449990', 'https://openalex.org/W1850679117', 'https://openalex.org/W1852236200', 'https://openalex.org/W1857789879', 'https://openalex.org/W1862398452', 'https://openalex.org/W1898469110', 'https://openalex.org/W1924007886', 'https://openalex.org/W1972766959', 'https://openalex.org/W1976268573', 'https://openalex.org/W1983350265', 'https://openalex.org/W1986755980', 'https://openalex.org/W1991709492', 'https://openalex.org/W2005998857', 'https://openalex.org/W2007072455', 'https://openalex.org/W2009280542', 'https://openalex.org/W2019881090', 'https://openalex.org/W2025687460', 'https://openalex.org/W2036426733', 'https://openalex.org/W2038680194', 'https://openalex.org/W2040258732', 'https://openalex.org/W2044782476', 'https://openalex.org/W2051580064', 'https://openalex.org/W2054364230', 'https://openalex.org/W2067971887', 'https://openalex.org/W2071103858', 'https://openalex.org/W2075379212', 'https://openalex.org/W2082442678', 'https://openalex.org/W2083374362', 'https://openalex.org/W2086673120', 'https://openalex.org/W2092008396', 'https://openalex.org/W2098543914', 'https://openalex.org/W2105925832', 'https://openalex.org/W2113081700', 'https://openalex.org/W2114879646', 'https://openalex.org/W2115857453', 'https://openalex.org/W2118039525', 'https://openalex.org/W2119567691', 'https://openalex.org/W2123576015', 'https://openalex.org/W2141823988', 'https://openalex.org/W2142921329', 'https://openalex.org/W2149453229', 'https://openalex.org/W2164096878', 'https://openalex.org/W2167624633', 'https://openalex.org/W2167770337', 'https://openalex.org/W2168246878', 'https://openalex.org/W2396555304', 'https://openalex.org/W2400703163', 'https://openalex.org/W24632170', 'https://openalex.org/W2583833536', 'https://openalex.org/W2588081979', 'https://openalex.org/W2599078145', 'https://openalex.org/W2611515161', 'https://openalex.org/W2615768957', 'https://openalex.org/W2751862591', 'https://openalex.org/W39325421', 'https://openalex.org/W601863383', 'https://openalex.org/W72509845'], 'related_works': ['https://openalex.org/W3159309853', 'https://openalex.org/W2403965669', 'https://openalex.org/W2403555318', 'https://openalex.org/W2357010218', 'https://openalex.org/W2343090072', 'https://openalex.org/W2196991573', 'https://openalex.org/W2172140874', 'https://openalex.org/W2148670066', 'https://openalex.org/W2137995940', 'https://openalex.org/W2097271450', 'https://openalex.org/W206437084', 'https://openalex.org/W2031923803', 'https://openalex.org/W1998551597', 'https://openalex.org/W1996396409', 'https://openalex.org/W1862398452', 'https://openalex.org/W1534744419', 'https://openalex.org/W1534712367', 'https://openalex.org/W1532183266', 'https://openalex.org/W1498432697', 'https://openalex.org/W106330101'], 'abstract_inverted_index': {'The': [0, 227], 'model-checking': [1, 46, 214, 245], 'approach': [2], 'was': [3], 'originally': [4], 'formulated': [5], 'for': [6, 12, 144, 216], 'verifying': [7], 'qualitative': [8], 'properties': [9, 106, 192], 'of': [10, 52, 64, 69, 93, 118, 123, 152, 160, 197, 234], 'systems,': [11], 'example': [13], 'safety': [14], 'and': [15, 17, 104, 141, 219, 221, 240, 248], 'liveness,': [16], 'subsequently': [18], 'extended': [19], 'to': [20, 48, 76, 162, 236], 'also': [21], 'handle': [22], 'quantitative': [23, 57, 105, 177], 'features,': [24], 'such': [25, 60], 'as': [26, 30, 32, 61, 102, 119, 195], 'real-time,': [27], 'continuous': [28], 'flows,': [29], 'well': [31], 'stochastic': [33], 'phenomena,': [34], 'where': [35], 'system': [36, 54], 'evolution': [37], 'is': [38], 'governed': [39], 'by': [40, 150], 'a': [41, 120, 188, 231], 'given': [42, 189], 'probability': [43, 68, 159], 'distribution.': [44], 'Probabilistic': [45], 'aims': [47], 'establish': [49], 'the': [50, 67, 83, 91, 128, 145, 158, 184, 198, 212], 'correctness': [51], 'probabilistic': [53, 58, 94, 109, 121, 154, 199, 244], 'models': [55, 103, 239], 'against': [56], 'specifications,': [59], 'those': [62], 'capable': [63], 'expressing,': [65], 'e.g.,': [66], 'an': [70], 'unsafe': [71], 'event': [72], 'occurring,': [73], 'expected': [74, 79], 'time': [75], 'termination,': [77], 'or': [78, 204], 'power': [80], 'consumption': [81], 'in': [82, 108, 127], 'start-up': [84], 'phase.': [85], 'In': [86], 'this': [87], 'chapter,': [88], 'we': [89, 170], 'present': [90], 'foundations': [92], 'model-checking,': [95], 'focusing': [96], 'on': [97], 'finite-state': [98], 'Markov': [99, 112, 173], 'decision': [100, 113, 174], 'processes': [101, 114, 175], 'expressed': [107, 194], 'temporal': [110, 207, 241], 'logic.': [111], 'can': [115, 137], 'be': [116, 138], 'thought': [117], 'variant': [122], 'labelled': [124, 133], 'transition': [125], 'systems': [126], 'following': [129], 'sense:': [130], 'transitions': [131], 'are': [132, 148, 180, 193], 'with': [134, 176, 230], 'actions,': [135], 'which': [136, 179], 'chosen': [139, 146], 'nondeterministically,': [140], 'successor': [142, 164], 'states': [143], 'action': [147, 186], 'specified': [149], 'means': [151], 'discrete': [153], 'distributions,': [155], 'thus': [156], 'specifying': [157], 'transiting': [161], 'each': [163], 'state.': [165, 190], 'To': [166], 'reason': [167], 'about': [168], 'expectations,': [169], 'additionally': [171], 'annotate': [172], 'costs,': [178], 'incurred': [181], 'upon': [182], 'taking': [183], 'selected': [185], 'from': [187], 'Quantitative': [191], 'formulas': [196], 'computation': [200], 'tree': [201], 'logic': [202, 208], '(PCTL)': [203], 'using': [205], 'linear': [206], '(LTL).': [209], 'We': [210], 'summarise': [211], 'main': [213, 249], 'algorithms': [215], 'both': [217], 'PCTL': [218], 'LTL,': [220], 'illustrate': [222], 'their': [223], 'working': [224], 'through': [225], 'examples.': [226], 'chapter': [228], 'ends': [229], 'brief': [232], 'overview': [233], 'extensions': [235], 'more': [237], 'expressive': [238], 'logics,': [242], 'existing': [243], 'tool': [246], 'support,': [247], 'application': [250], 'domains.': [251]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2576017016', 'counts_by_year': [{'year': 2024, 'cited_by_count': 2}, {'year': 2023, 'cited_by_count': 2}, {'year': 2022, 'cited_by_count': 2}, {'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 2}, {'year': 2019, 'cited_by_count': 2}, {'year': 2018, 'cited_by_count': 6}, {'year': 2017, 'cited_by_count': 3}, {'year': 2016, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 1}, {'year': 2012, 'cited_by_count': 4}], 'updated_date': '2024-12-13T17:27:40.322406', 'created_date': '2017-01-26'}