{"id":"https://openalex.org/W4391896703","doi":"https://doi.org/10.1007/s10703-023-00442-x","title":"Parameter synthesis for Markov models: covering the parameter space","display_name":"Parameter synthesis for Markov models: covering the parameter space","publication_year":2024,"publication_date":"2024-02-17","ids":{"openalex":"https://openalex.org/W4391896703","doi":"https://doi.org/10.1007/s10703-023-00442-x"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-023-00442-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00442-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00442-x.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00442-x.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068015318","display_name":"Erika \u00c1brah\u00e1m","orcid":"https://orcid.org/0000-0002-5647-6134"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Erika \u00c1brah\u00e1m","raw_affiliation_strings":["Department of Computer Science, RWTH Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000259762","display_name":"Christian Hensel","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Hensel","raw_affiliation_strings":["Department of Computer Science, RWTH Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","NL"],"is_corresponding":true,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands","Ruhr-University, Bochum, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1318-8973","affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Ruhr-University, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["Department of Computer Science, RWTH Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013247085","display_name":"Tim Quatmann","orcid":"https://orcid.org/0000-0002-2843-5511"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim Quatmann","raw_affiliation_strings":["Department of Computer Science, RWTH Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059396331","display_name":"Matthias Volk","orcid":"https://orcid.org/0000-0002-3810-4185"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Matthias Volk","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5012669709"],"corresponding_institution_ids":["https://openalex.org/I145872427","https://openalex.org/I904495901"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":4.9747,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.95750939,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"62","issue":"1-3","first_page":"181","last_page":"259"},"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.9991999864578247,"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.9977999925613403,"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/markov-chain","display_name":"Markov chain","score":0.8117150068283081},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6137989163398743},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5734103918075562},{"id":"https://openalex.org/keywords/parameter-space","display_name":"Parameter space","score":0.5630661845207214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5551027059555054},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.5356302857398987},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3619367480278015},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.33067256212234497},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.26927101612091064},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.17452102899551392}],"concepts":[{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.8117150068283081},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6137989163398743},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5734103918075562},{"id":"https://openalex.org/C73586568","wikidata":"https://www.wikidata.org/wiki/Q2600211","display_name":"Parameter space","level":2,"score":0.5630661845207214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5551027059555054},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.5356302857398987},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3619367480278015},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33067256212234497},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.26927101612091064},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.17452102899551392}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10703-023-00442-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00442-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00442-x.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/1f3bdf39-77a1-4295-8f5a-ebe16e16c843","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/1f3bdf39-77a1-4295-8f5a-ebe16e16c843","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Junges, S, \u00c1brah\u00e1m, E, Hensel, C, Jansen, N, Katoen, J-P, Quatmann, T & Volk, M 2024, 'Parameter synthesis for Markov models : covering the parameter space', Formal Methods in System Design, vol. 62, no. 1-3, pp. 181-259. https://doi.org/10.1007/s10703-023-00442-x","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/1f3bdf39-77a1-4295-8f5a-ebe16e16c843","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85185133491&partnerID=8YFLogxK","pdf_url":"https://pure.tue.nl/ws/files/331786448/s10703-023-00442-x.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Junges, S, \u00c1brah\u00e1m, E, Hensel, C, Jansen, N, Katoen, J-P, Quatmann, T & Volk, M 2024, 'Parameter synthesis for Markov models : covering the parameter space', Formal Methods in System Design, vol. 62, no. 1-3, pp. 181-259. https://doi.org/10.1007/s10703-023-00442-x","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/307013","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/307013","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/307013/307013.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"doi:10.1007/s10703-023-00442-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00442-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00442-x.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1241064458","display_name":"Data-Driven Verification and Learning Under Uncertainty","funder_award_id":"101077178","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2302795432","display_name":null,"funder_award_id":"RTG 2236","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3373991914","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320323715","display_name":"Ruhr-Universit\u00e4t Bochum","ror":"https://ror.org/04tsk2644"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391896703.pdf"},"referenced_works_count":125,"referenced_works":["https://openalex.org/W69467742","https://openalex.org/W144481999","https://openalex.org/W147487200","https://openalex.org/W170763441","https://openalex.org/W225106791","https://openalex.org/W754964377","https://openalex.org/W798280485","https://openalex.org/W1479679270","https://openalex.org/W1480909796","https://openalex.org/W1498432697","https://openalex.org/W1559540003","https://openalex.org/W1574427057","https://openalex.org/W1574505635","https://openalex.org/W1583191255","https://openalex.org/W1600556058","https://openalex.org/W1643571618","https://openalex.org/W1806449990","https://openalex.org/W1810606903","https://openalex.org/W1862398452","https://openalex.org/W1880436303","https://openalex.org/W1892040981","https://openalex.org/W1898469110","https://openalex.org/W1968191405","https://openalex.org/W1971139410","https://openalex.org/W1976466849","https://openalex.org/W1986755980","https://openalex.org/W1988217924","https://openalex.org/W1992996044","https://openalex.org/W2000865099","https://openalex.org/W2013814408","https://openalex.org/W2025687460","https://openalex.org/W2030895696","https://openalex.org/W2061217545","https://openalex.org/W2066778083","https://openalex.org/W2075813176","https://openalex.org/W2078612414","https://openalex.org/W2087486424","https://openalex.org/W2091968063","https://openalex.org/W2092008396","https://openalex.org/W2095304972","https://openalex.org/W2096210507","https://openalex.org/W2098597080","https://openalex.org/W2099184861","https://openalex.org/W2101097136","https://openalex.org/W2103255931","https://openalex.org/W2105114377","https://openalex.org/W2110411539","https://openalex.org/W2113101444","https://openalex.org/W2113750341","https://openalex.org/W2114879646","https://openalex.org/W2118184521","https://openalex.org/W2121337044","https://openalex.org/W2125500714","https://openalex.org/W2135209232","https://openalex.org/W2145495721","https://openalex.org/W2147163807","https://openalex.org/W2153945968","https://openalex.org/W2154884120","https://openalex.org/W2155153696","https://openalex.org/W2156546571","https://openalex.org/W2157413433","https://openalex.org/W2158395308","https://openalex.org/W2165161585","https://openalex.org/W2168605507","https://openalex.org/W2170611159","https://openalex.org/W2277676404","https://openalex.org/W2284340808","https://openalex.org/W2291637985","https://openalex.org/W2334782222","https://openalex.org/W2343521561","https://openalex.org/W2461207771","https://openalex.org/W2467435924","https://openalex.org/W2491794706","https://openalex.org/W2507973694","https://openalex.org/W2527393991","https://openalex.org/W2534303543","https://openalex.org/W2560174505","https://openalex.org/W2575731723","https://openalex.org/W2587263590","https://openalex.org/W2593267253","https://openalex.org/W2594789366","https://openalex.org/W2598014203","https://openalex.org/W2620928019","https://openalex.org/W2716905450","https://openalex.org/W2735108719","https://openalex.org/W2743635440","https://openalex.org/W2758051744","https://openalex.org/W2766020963","https://openalex.org/W2792547510","https://openalex.org/W2796919988","https://openalex.org/W2803246896","https://openalex.org/W2803827522","https://openalex.org/W2803993242","https://openalex.org/W2804728961","https://openalex.org/W2806784953","https://openalex.org/W2809485720","https://openalex.org/W2884432391","https://openalex.org/W2909939412","https://openalex.org/W2913279531","https://openalex.org/W2914149546","https://openalex.org/W2963307044","https://openalex.org/W2963451394","https://openalex.org/W2974528425","https://openalex.org/W2982115117","https://openalex.org/W3023500921","https://openalex.org/W3035730325","https://openalex.org/W3088952667","https://openalex.org/W3098409019","https://openalex.org/W3134410578","https://openalex.org/W3137643797","https://openalex.org/W3152027531","https://openalex.org/W3171755056","https://openalex.org/W3184096451","https://openalex.org/W3201904656","https://openalex.org/W3214634944","https://openalex.org/W4205437843","https://openalex.org/W4205646392","https://openalex.org/W4240869246","https://openalex.org/W4246219036","https://openalex.org/W4255213956","https://openalex.org/W4289874404","https://openalex.org/W4290087449","https://openalex.org/W4295678793","https://openalex.org/W4302339081","https://openalex.org/W4382202832"],"related_works":["https://openalex.org/W2084326697","https://openalex.org/W2027903142","https://openalex.org/W2354322608","https://openalex.org/W2804608325","https://openalex.org/W2077211377","https://openalex.org/W2186675474","https://openalex.org/W2387462590","https://openalex.org/W2056274461","https://openalex.org/W2368739446","https://openalex.org/W2989366387"],"abstract_inverted_index":{"Abstract":[0],"Markov":[1,19,56,69,131,134],"chain":[2,57],"analysis":[3,58,126],"is":[4,14],"a":[5,61,78,101,148,184,194,202,219],"key":[6],"technique":[7],"in":[8,18],"formal":[9],"verification.":[10],"A":[11],"practical":[12],"obstacle":[13],"that":[15,76,217],"all":[16,144,188],"probabilities":[17],"models":[20,46,70],"need":[21],"to":[22,104],"be":[23,105],"known.":[24],"However,":[25],"system":[26,102],"quantities":[27],"such":[28],"as":[29],"failure":[30,95,110],"rates":[31,96,111],"or":[32,81,108],"packet":[33],"loss":[34],"ratios,":[35],"etc.":[36],"are":[37],"often":[38],"not\u2014or":[39],"only":[40],"partially\u2014known.":[41],"This":[42,122],"motivates":[43],"considering":[44],"parametric":[45,68,129],"with":[47,50],"transitions":[48],"labeled":[49],"functions":[51],"over":[52],"parameters.":[53],"Whereas":[54],"traditional":[55],"relies":[59],"on":[60,72,139,182,210,215],"single,":[62],"fixed":[63],"set":[64],"of":[65,100,119,179,187,197,222],"probabilities,":[66],"analysing":[67],"focuses":[71],"synthesising":[73],"parameter":[74,145,190],"values":[75,146],"establish":[77],"given":[79,149],"safety":[80],"performance":[82],"specification":[83],"$$\\varphi":[84,152,163],"$$":[85,153,164],"<mml:math":[86,154,165],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[87,155,166],"<mml:mi>\u03c6</mml:mi>":[88,156,167],"</mml:math>":[89,157,168],".":[90],"Examples":[91],"are:":[92],"what":[93],"component":[94],"ensure":[97],"the":[98,113,117,120,198],"probability":[99],"breakdown":[103],"below":[106],"0.00000001?,":[107],"which":[109,160,170],"maximise":[112],"performance,":[114],"for":[115,128],"instance":[116],"throughput,":[118],"system?":[121],"paper":[123],"presents":[124],"various":[125,199],"algorithms":[127],"discrete-time":[130],"chains":[132],"and":[133,169,174,208],"decision":[135],"processes.":[136],"We":[137,192],"focus":[138],"three":[140],"problems:":[141],"(a)":[142],"do":[143,172],"within":[147],"region":[150],"satisfy":[151,162],"?,":[158],"(b)":[159,180],"regions":[161],"ones":[171],"not?,":[173],"(c)":[175],"an":[176,211],"approximate":[177],"version":[178],"focusing":[181],"covering":[183],"large":[185],"fraction":[186],"possible":[189],"values.":[191],"give":[193],"detailed":[195],"account":[196],"algorithms,":[200],"present":[201],"software":[203],"tool":[204],"realising":[205],"these":[206],"techniques,":[207],"report":[209],"extensive":[212],"experimental":[213],"evaluation":[214],"benchmarks":[216],"span":[218],"wide":[220],"range":[221],"applications.":[223]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":9}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2024-02-18T00:00:00"}