{"id":"https://openalex.org/W4290087449","doi":"https://doi.org/10.1007/978-3-031-13185-1_6","title":"Abstraction-Refinement for\u00a0Hierarchical Probabilistic Models","display_name":"Abstraction-Refinement for\u00a0Hierarchical Probabilistic Models","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4290087449","doi":"https://doi.org/10.1007/978-3-031-13185-1_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-13185-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13185-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13185-1_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13185-1_6.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":true,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-0978-8466","affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075395956","display_name":"Matthijs T. J. Spaan","orcid":"https://orcid.org/0009-0002-2858-8611"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Matthijs T. J. Spaan","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018941708"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":8.629,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.98224589,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"102","last_page":"123"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9969000220298767,"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/subroutine","display_name":"Subroutine","score":0.9013433456420898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7620555758476257},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.707253634929657},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6846610903739929},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5827962160110474},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5378081202507019},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5193475484848022},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5036911368370056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38329002261161804},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3620678186416626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11221793293952942}],"concepts":[{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.9013433456420898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7620555758476257},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.707253634929657},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6846610903739929},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5827962160110474},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5378081202507019},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5193475484848022},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5036911368370056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38329002261161804},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3620678186416626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11221793293952942},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-13185-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13185-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13185-1_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/282987","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/282987","pdf_url":null,"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 in monograph or in proceedings"},{"id":"pmh:oai:tudelft.nl:uuid:e51518bc-269d-4b2c-a191-917d4f4e1144","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:e51518bc-269d-4b2c-a191-917d4f4e1144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/282987","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/282987","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Shoham, S.; Vizel, Y. (ed.), Computer Aided Verification:34th International Conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, Part I, 102 - 123. Cham : Springer International Publishing","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-13185-1_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13185-1_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13185-1_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.800000011920929,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4290087449.pdf","grobid_xml":"https://content.openalex.org/works/W4290087449.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W91087634","https://openalex.org/W275084143","https://openalex.org/W1481528147","https://openalex.org/W1498432697","https://openalex.org/W1556387789","https://openalex.org/W1574505635","https://openalex.org/W1601582835","https://openalex.org/W1608455964","https://openalex.org/W1665588751","https://openalex.org/W1862398452","https://openalex.org/W1880436303","https://openalex.org/W1898469110","https://openalex.org/W1999354872","https://openalex.org/W2052092737","https://openalex.org/W2098597080","https://openalex.org/W2114879646","https://openalex.org/W2284340808","https://openalex.org/W2395880299","https://openalex.org/W2567661379","https://openalex.org/W2735021239","https://openalex.org/W2742512175","https://openalex.org/W2804728961","https://openalex.org/W2913788705","https://openalex.org/W2974035524","https://openalex.org/W3045984969","https://openalex.org/W3088952667","https://openalex.org/W3137643797","https://openalex.org/W3142023506","https://openalex.org/W3162128423","https://openalex.org/W3168892396","https://openalex.org/W3187079608","https://openalex.org/W3201904656","https://openalex.org/W4298023569"],"related_works":["https://openalex.org/W3160136729","https://openalex.org/W1497573972","https://openalex.org/W1999446003","https://openalex.org/W2569102954","https://openalex.org/W2107949109","https://openalex.org/W2894777571","https://openalex.org/W2950285904","https://openalex.org/W2380536301","https://openalex.org/W1520268336","https://openalex.org/W3099114572"],"abstract_inverted_index":{"Abstract":[0],"Markov":[1],"decision":[2],"processes":[3],"are":[4,99,139],"a":[5,35,63,74,82,116,128],"ubiquitous":[6],"formalism":[7],"for":[8],"modelling":[9],"systems":[10],"with":[11,38,65],"non-deterministic":[12],"and":[13,110,121,131],"probabilistic":[14,52],"behavior.":[15,67],"Verification":[16],"of":[17,96,105,155],"these":[18],"models":[19],"is":[20],"subject":[21],"to":[22,93,101,123],"the":[23,79,86,103,106,153,156],"famous":[24],"state":[25],"space":[26],"explosion":[27],"problem.":[28],"We":[29],"alleviate":[30],"this":[31,69,113,134],"problem":[32],"by":[33,115],"exploiting":[34],"hierarchical":[36,147],"structure":[37,42],"repetitive":[39],"parts.":[40],"This":[41],"not":[43],"only":[44,111],"occurs":[45],"naturally":[46],"in":[47,51,77],"robotics,":[48],"but":[49],"also":[50],"programs":[53,59,98],"describing,":[54],"e.g.,":[55],"network":[56],"protocols.":[57],"Such":[58],"often":[60],"repeatedly":[61],"call":[62],"subroutine":[64,107],"similar":[66,125],"In":[68],"paper,":[70],"we":[71],"focus":[72],"on":[73,85],"local":[75],"case,":[76],"which":[78],"subroutines":[80,126],"have":[81],"limited":[83],"effect":[84],"overall":[87],"system":[88],"state.":[89],"The":[90],"key":[91],"ideas":[92,138],"accelerate":[94],"analysis":[95,118],"such":[97],"(1)":[100],"treat":[102],"behavior":[104],"as":[108],"uncertain":[109],"remove":[112],"uncertainty":[114],"detailed":[117],"if":[119],"needed,":[120],"(2)":[122],"abstract":[124],"into":[127,141],"parametric":[129],"template,":[130],"then":[132],"analyse":[133],"template.":[135],"These":[136],"two":[137],"embedded":[140],"an":[142],"abstraction-refinement":[143],"loop":[144],"that":[145],"analyses":[146],"MDPs.":[148],"A":[149],"prototypical":[150],"implementation":[151],"shows":[152],"efficacy":[154],"approach.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}