{"id":"https://openalex.org/W2136786452","doi":"https://doi.org/10.1007/s10009-005-0216-7","title":"Finite horizon analysis of Markov Chains with the Mur\u03d5 verifier","display_name":"Finite horizon analysis of Markov Chains with the Mur\u03d5 verifier","publication_year":2006,"publication_date":"2006-04-04","ids":{"openalex":"https://openalex.org/W2136786452","doi":"https://doi.org/10.1007/s10009-005-0216-7","mag":"2136786452"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-005-0216-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-005-0216-7","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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/A5000230182","display_name":"Giuseppe Della Penna","orcid":"https://orcid.org/0000-0003-2327-9393"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Della Penna","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","Universit\u00e0 di L\u2019Aquila, Dipartimento di Informatica, 67100, Coppito, L\u2019Aquila, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Universit\u00e0 di L\u2019Aquila, Dipartimento di Informatica, 67100, Coppito, L\u2019Aquila, Italy#TAB#","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038380237","display_name":"Benedetto Intrigila","orcid":null},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Benedetto Intrigila","raw_affiliation_strings":["Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Roma \u201cTor Vergata\u201d, Rome, Italy","Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Roma \u201cTor Vergata\u201d, Via della Ricerca Scientifica 1, 00133, Rome, Italy","Universit\u00e0 di Roma \u201cTor Vergata\u201d, Dipartimento di Matematica Pura ed Applicata, Via della Ricerca Scientifica 1, 00133, Rome, L\u2019Aquila, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Roma \u201cTor Vergata\u201d, Rome, Italy","institution_ids":["https://openalex.org/I116067653"]},{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Roma \u201cTor Vergata\u201d, Via della Ricerca Scientifica 1, 00133, Rome, Italy","institution_ids":["https://openalex.org/I116067653"]},{"raw_affiliation_string":"Universit\u00e0 di Roma \u201cTor Vergata\u201d, Dipartimento di Matematica Pura ed Applicata, Via della Ricerca Scientifica 1, 00133, Rome, L\u2019Aquila, Italy#TAB#","institution_ids":["https://openalex.org/I116067653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085357809","display_name":"Igor Melatti","orcid":"https://orcid.org/0000-0002-6273-6190"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Igor Melatti","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, Italy","Universit\u00e0 di L\u2019Aquila, Dipartimento di Informatica, 67100, Coppito, L\u2019Aquila, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Universit\u00e0 di L\u2019Aquila, Dipartimento di Informatica, 67100, Coppito, L\u2019Aquila, Italy#TAB#","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010524910","display_name":"Enrico Tronci","orcid":"https://orcid.org/0000-0002-0377-3119"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Enrico Tronci","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy","Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Rome, Italy","Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Dipartimento di Informatica, Via Salaria 113, 00198, Rome, L\u2019Aquila, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Dipartimento di Informatica, Via Salaria 113, 00198, Rome, L\u2019Aquila, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082449905","display_name":"Marisa Venturini Zilli","orcid":null},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marisa Venturini Zilli","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy","Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Rome, Italy","Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Dipartimento di Informatica, Via Salaria 113, 00198, Rome, L\u2019Aquila, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Dipartimento di Informatica, Via Salaria 113, 00198, Rome, L\u2019Aquila, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010524910","https://openalex.org/A5038380237","https://openalex.org/A5082449905","https://openalex.org/A5085357809"],"corresponding_institution_ids":["https://openalex.org/I116067653","https://openalex.org/I26415053","https://openalex.org/I861853513"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.6866,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.84804593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":"4-5","first_page":"397","last_page":"409"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9909999966621399,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9905999898910522,"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/markov-chain","display_name":"Markov chain","score":0.8145554065704346},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7738834619522095},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.705482542514801},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6278007626533508},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5342062711715698},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.516446590423584},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48577335476875305},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.45628106594085693},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4407995343208313},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4329884648323059},{"id":"https://openalex.org/keywords/horizon","display_name":"Horizon","score":0.41993528604507446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40313172340393066},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19019970297813416},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11321228742599487},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08705264329910278},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08401620388031006}],"concepts":[{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.8145554065704346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7738834619522095},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.705482542514801},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6278007626533508},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5342062711715698},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.516446590423584},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48577335476875305},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.45628106594085693},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4407995343208313},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4329884648323059},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.41993528604507446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40313172340393066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19019970297813416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11321228742599487},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08705264329910278},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08401620388031006},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10009-005-0216-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-005-0216-7","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:art.torvergata.it:2108/39308","is_oa":false,"landing_page_url":"http://hdl.handle.net/2108/39308","pdf_url":null,"source":{"id":"https://openalex.org/S4306400993","display_name":"Cineca Institutional Research Information System (Tor Vergata University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I116067653","host_organization_name":"University of Rome Tor Vergata","host_organization_lineage":["https://openalex.org/I116067653"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.uniroma1.it:11573/234300","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/234300","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W138290785","https://openalex.org/W170127646","https://openalex.org/W1534497154","https://openalex.org/W1538557374","https://openalex.org/W1539432158","https://openalex.org/W1557440254","https://openalex.org/W1563387578","https://openalex.org/W1579183220","https://openalex.org/W1601373402","https://openalex.org/W1793726001","https://openalex.org/W1806449990","https://openalex.org/W1835342941","https://openalex.org/W1953283412","https://openalex.org/W1972203711","https://openalex.org/W1976268573","https://openalex.org/W2005998857","https://openalex.org/W2016403002","https://openalex.org/W2055454967","https://openalex.org/W2061438988","https://openalex.org/W2071659383","https://openalex.org/W2080267935","https://openalex.org/W2115309705","https://openalex.org/W2116989825","https://openalex.org/W2134991157","https://openalex.org/W2138695497","https://openalex.org/W2138838211","https://openalex.org/W2162943184","https://openalex.org/W2164989576","https://openalex.org/W2165161585","https://openalex.org/W2167435507","https://openalex.org/W2168605507","https://openalex.org/W2335843414","https://openalex.org/W2337623929","https://openalex.org/W4242441073","https://openalex.org/W4244123356","https://openalex.org/W4246239274"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W2041209185","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2196991573","https://openalex.org/W2030935018","https://openalex.org/W1785234853","https://openalex.org/W4233159725","https://openalex.org/W2356154743"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2016-06-24T00:00:00"}