{"id":"https://openalex.org/W1965529799","doi":"https://doi.org/10.1145/1190095.1190139","title":"Analysis of Markov reward models using zero-suppressed multi-terminal BDDs","display_name":"Analysis of Markov reward models using zero-suppressed multi-terminal BDDs","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1965529799","doi":"https://doi.org/10.1145/1190095.1190139","mag":"1965529799"},"language":"en","primary_location":{"id":"doi:10.1145/1190095.1190139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190095.1190139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st international conference on Performance evaluation methodolgies and tools  - valuetools '06","raw_type":"proceedings-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/A5031557175","display_name":"Kai Lampka","orcid":"https://orcid.org/0000-0002-7134-2142"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]},{"id":"https://openalex.org/I868289433","display_name":"National Experimental University of the Armed Forces","ror":"https://ror.org/01w860d88","country_code":"VE","type":"education","lineage":["https://openalex.org/I868289433"]}],"countries":["DE","VE"],"is_corresponding":true,"raw_author_name":"K. Lampka","raw_affiliation_strings":["University of the Federal Armed Forces Munich","University of the Federal Armed Forces Munich#TAB#"],"affiliations":[{"raw_affiliation_string":"University of the Federal Armed Forces Munich","institution_ids":["https://openalex.org/I868289433"]},{"raw_affiliation_string":"University of the Federal Armed Forces Munich#TAB#","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048017742","display_name":"Markus Siegle","orcid":"https://orcid.org/0000-0001-7639-2280"},"institutions":[{"id":"https://openalex.org/I868289433","display_name":"National Experimental University of the Armed Forces","ror":"https://ror.org/01w860d88","country_code":"VE","type":"education","lineage":["https://openalex.org/I868289433"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE","VE"],"is_corresponding":false,"raw_author_name":"M. Siegle","raw_affiliation_strings":["University of the Federal Armed Forces Munich","University of the Federal Armed Forces Munich#TAB#"],"affiliations":[{"raw_affiliation_string":"University of the Federal Armed Forces Munich","institution_ids":["https://openalex.org/I868289433"]},{"raw_affiliation_string":"University of the Federal Armed Forces Munich#TAB#","institution_ids":["https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5031557175"],"corresponding_institution_ids":["https://openalex.org/I8204097","https://openalex.org/I868289433"],"apc_list":null,"apc_paid":null,"fwci":0.9811,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74282263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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.9990000128746033,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.7260029315948486},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7204546928405762},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6374271512031555},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.571257472038269},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5410768389701843},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.46881723403930664},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4533027410507202},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4341810643672943},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.42042508721351624},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3949457108974457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17319637537002563},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12490040063858032},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1207045316696167}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7260029315948486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7204546928405762},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6374271512031555},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.571257472038269},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5410768389701843},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.46881723403930664},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4533027410507202},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4341810643672943},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.42042508721351624},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3949457108974457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17319637537002563},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12490040063858032},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1207045316696167},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1190095.1190139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190095.1190139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st international conference on Performance evaluation methodolgies and tools  - valuetools '06","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.550000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W4571507","https://openalex.org/W1497788657","https://openalex.org/W1553940723","https://openalex.org/W1603479876","https://openalex.org/W1823654618","https://openalex.org/W1975335740","https://openalex.org/W1994143452","https://openalex.org/W1998132813","https://openalex.org/W2080267935","https://openalex.org/W2095861482","https://openalex.org/W2102981594","https://openalex.org/W2124834540","https://openalex.org/W2147280474","https://openalex.org/W2681991495","https://openalex.org/W2762210817"],"related_works":["https://openalex.org/W2378211422","https://openalex.org/W2745001401","https://openalex.org/W4321353415","https://openalex.org/W2130974462","https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W830459867","https://openalex.org/W2413828414","https://openalex.org/W2367222340"],"abstract_inverted_index":{"High-level":[0],"stochastic":[1,6,9],"description":[2,23],"methods":[3],"such":[4],"as":[5,46,178],"Petri":[7],"nets,":[8],"UML":[10],"statecharts":[11],"etc.,":[12],"together":[13],"with":[14],"specifications":[15],"of":[16,24,29,61,90,98,101,116,129,135,143,161,187],"performance":[17,131,182],"variables":[18],"(PVs),":[19],"enable":[20],"a":[21,39,94,109,122],"compact":[22],"systems":[25],"and":[26,107,132,155,210],"quantitative":[27],"measures":[28,134],"interest.":[30],"The":[31,148,185],"underlying":[32,140],"Markov":[33],"reward":[34],"models":[35,206],"(MRMs)":[36],"often":[37],"exhibit":[38],"significant":[40],"blow-up":[41],"in":[42,180],"size,":[43],"commonly":[44],"known":[45],"the":[47,77,99,117,127,162,188,195,208,212],"state":[48,105],"space":[49],"explosion":[50],"problem.":[51],"In":[52,71],"this":[53],"paper":[54],"we":[55,192],"employ":[56],"our":[57],"recently":[58],"developed":[59],"type":[60],"symbolic":[62,164,176],"data":[63,165,215],"structure,":[64],"zero-suppressed":[65],"multi-terminal":[66],"binary":[67],"decision":[68],"diagram":[69],"(ZDD).":[70],"addition":[72],"to":[73,172,216],"earlier":[74],"work":[75],"[12]":[76],"following":[78],"innovations":[79],"are":[80,159,169],"introduced:":[81],"(a)":[82],"new":[83,95,110],"algorithms":[84,150],"for":[85,103,113,151],"efficiently":[86],"generating":[87,152],"ZDD-based":[88,96,111,123],"representation":[89],"user-defined":[91,153],"PVs,":[92],"(b)":[93],"variant":[97],"approach":[100],"[17]":[102],"computing":[104,114,156],"probabilities,":[106],"(c)":[108],"algorithm":[112],"moments":[115,158],"PVs.":[118],"These":[119],"contributions":[120],"yield":[121],"framework":[124,198],"which":[125,191],"allows":[126],"computation":[128],"complex":[130],"reliability":[133],"high-level":[136],"system":[137],"specifications,":[138],"whose":[139],"MRMs":[141],"consist":[142],"more":[144],"than":[145],"108":[146],"states.":[147],"proposed":[149],"PVs":[154],"their":[157],"independent":[160],"employed":[163],"type.":[166],"Thus":[167],"they":[168],"highly":[170],"suited":[171],"fit":[173],"into":[174,194],"other":[175,217],"frameworks":[177],"realized":[179],"popular":[181],"evaluation":[183],"tools.":[184],"efficiency":[186],"presented":[189],"approach,":[190],"incorporated":[193],"M\u00f6bius":[196],"modeling":[197],"[16],":[199],"is":[200],"demonstrated":[201],"by":[202],"analyzing":[203],"several":[204],"benchmark":[205],"from":[207],"literature":[209],"comparing":[211],"obtained":[213],"run-time":[214],"techniques.":[218]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}