{"id":"https://openalex.org/W2097403647","doi":"https://doi.org/10.1109/saintw.2005.1620026","title":"Improving Stochastic Model Checking with Stochastic Bounds","display_name":"Improving Stochastic Model Checking with Stochastic Bounds","publication_year":2006,"publication_date":"2006-05-06","ids":{"openalex":"https://openalex.org/W2097403647","doi":"https://doi.org/10.1109/saintw.2005.1620026","mag":"2097403647"},"language":"en","primary_location":{"id":"doi:10.1109/saintw.2005.1620026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saintw.2005.1620026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)","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/A5113685904","display_name":"Jean\u2010Michel Fourneau","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J.M. Fourneau","raw_affiliation_strings":["PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109464011","display_name":"Nihal Pekergin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101217","display_name":"Mersen (France)","ror":"https://ror.org/017sazg79","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210101217"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"N. Pekergin","raw_affiliation_strings":["Centre Marin Mersenne, Universite Paris 1, Paris, France","PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre Marin Mersenne, Universite Paris 1, Paris, France","institution_ids":["https://openalex.org/I4210101217","https://openalex.org/I51101395"]},{"raw_affiliation_string":"PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058665137","display_name":"Sana Youn\u00e8s","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Younes","raw_affiliation_strings":["PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PRISM, Universit\u00e9 de Versailles Saint Quentin, Versailles, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.15409764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"264","last_page":"267"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9991000294685364,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7369189858436584},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6591860055923462},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.6273404955863953},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6264477968215942},{"id":"https://openalex.org/keywords/steady-state","display_name":"Steady state (chemistry)","score":0.5069882869720459},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4865111708641052},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4767932891845703},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.457871675491333},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4574342370033264},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.44299015402793884},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.41802462935447693},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35078877210617065},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33833324909210205},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.07000386714935303},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06550681591033936}],"concepts":[{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.7369189858436584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6591860055923462},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.6273404955863953},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6264477968215942},{"id":"https://openalex.org/C8171440","wikidata":"https://www.wikidata.org/wiki/Q903414","display_name":"Steady state (chemistry)","level":2,"score":0.5069882869720459},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4865111708641052},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4767932891845703},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.457871675491333},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4574342370033264},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.44299015402793884},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.41802462935447693},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35078877210617065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33833324909210205},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.07000386714935303},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06550681591033936},{"id":"https://openalex.org/C147789679","wikidata":"https://www.wikidata.org/wiki/Q11372","display_name":"Physical chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/saintw.2005.1620026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saintw.2005.1620026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1498125516","https://openalex.org/W1514324734","https://openalex.org/W1575636118","https://openalex.org/W2005998857","https://openalex.org/W2016392619","https://openalex.org/W2034068158","https://openalex.org/W2103767382","https://openalex.org/W2134991157","https://openalex.org/W2151876623","https://openalex.org/W2153599832","https://openalex.org/W2736887555","https://openalex.org/W2913530669","https://openalex.org/W4251973790","https://openalex.org/W7046135743"],"related_works":["https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W2413828414","https://openalex.org/W2367222340","https://openalex.org/W4234261790","https://openalex.org/W2539087073","https://openalex.org/W1993731165","https://openalex.org/W2095860056","https://openalex.org/W2742871814"],"abstract_inverted_index":{"Stochastic":[0],"model":[1,48],"checking":[2],"requires":[3],"the":[4,18,26,37,46,54],"computation":[5],"of":[6,20,29,57],"steady-state":[7,73],"or":[8,13],"transient":[9],"distribution":[10],"for":[11,17,45],"finite":[12],"infinite":[14],"Markov":[15,30],"chains":[16,31],"evaluation":[19,56],"some":[21],"formulas":[22,83],"implying":[23],"probabilities.":[24],"However":[25],"numerical":[27,55],"analysis":[28],"is":[32],"much":[33],"less":[34],"efficient":[35],"than":[36],"sophisticated":[38],"algorithmic":[39],"techniques":[40],"such":[41],"as":[42],"MTBDD":[43],"developed":[44],"deterministic":[47],"checking.":[49],"We":[50,62],"propose":[51],"to":[52,70,80],"simplify":[53],"probabilities":[58],"using":[59],"stochastic":[60],"bounds.":[61],"show":[63],"that":[64],"this":[65],"approach":[66],"can":[67],"be":[68],"used":[69],"bound":[71],"transient,":[72],"and":[74,77],"cumulative":[75],"rewards":[76],"may":[78],"help":[79],"evaluate":[81],"efficiently":[82],"based":[84],"on":[85],"these":[86],"rewards.":[87]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}