{"id":"https://openalex.org/W6931872259","doi":"https://doi.org/10.5281/zenodo.8181117","title":"Artifact for the ATVA'23 paper \"Scenario Approach for Parametric Markov Models\"","display_name":"Artifact for the ATVA'23 paper \"Scenario Approach for Parametric Markov Models\"","publication_year":2023,"publication_date":"2023-07-27","ids":{"openalex":"https://openalex.org/W6931872259","doi":"https://doi.org/10.5281/zenodo.8181117"},"language":"en","primary_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_products/c0131972-0a14-432b-a7ee-8801ef5c0d25","is_oa":true,"landing_page_url":"https://zenodo.org/record/8181117","pdf_url":"https://zenodo.org/records/8181117/files/README.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":null,"raw_type":"Dataset"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/records/8181117/files/README.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Liu, Ying","orcid":"https://orcid.org/0009-0003-4619-8112"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Ying","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0009-0003-4619-8112","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Turrini, Andrea","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Turrini, Andrea","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0003-4343-9323","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hahn, Ernst Moritz","orcid":"https://orcid.org/0000-0002-9348-7684"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hahn, Ernst Moritz","raw_affiliation_strings":["Formal Methods and Tools, University of Twente"],"raw_orcid":"https://orcid.org/0000-0002-9348-7684","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xue, Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xue, Bai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0001-9717-846X","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zhang, Lijun","orcid":"https://orcid.org/0000-0002-3692-2088"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhang, Lijun","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0002-3692-2088","affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10630","display_name":"Orthopedic Surgery and Rehabilitation","score":0.7330999970436096,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10630","display_name":"Orthopedic Surgery and Rehabilitation","score":0.7330999970436096,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11427","display_name":"Elbow and Forearm Trauma Treatment","score":0.042100001126527786,"subfield":{"id":"https://openalex.org/subfields/2742","display_name":"Rehabilitation"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10954","display_name":"Peripheral Nerve Disorders","score":0.025699999183416367,"subfield":{"id":"https://openalex.org/subfields/2741","display_name":"Radiology, Nuclear Medicine and Imaging"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5723999738693237},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5695000290870667},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5333999991416931},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4943000078201294},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4894999861717224},{"id":"https://openalex.org/keywords/laptop","display_name":"Laptop","score":0.4390999972820282},{"id":"https://openalex.org/keywords/parametric-equation","display_name":"Parametric equation","score":0.4090999960899353},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.398499995470047},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.38429999351501465},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.3790000081062317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7742000222206116},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5723999738693237},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5695000290870667},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5333999991416931},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4943000078201294},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4894999861717224},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4878000020980835},{"id":"https://openalex.org/C2780008327","wikidata":"https://www.wikidata.org/wiki/Q3962","display_name":"Laptop","level":2,"score":0.4390999972820282},{"id":"https://openalex.org/C99636146","wikidata":"https://www.wikidata.org/wiki/Q35889","display_name":"Parametric equation","level":2,"score":0.4090999960899353},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.398499995470047},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.3790000081062317},{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.37040001153945923},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3691999912261963},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3634999990463257},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3303999900817871},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.30550000071525574},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28940001130104065},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C2778571676","wikidata":"https://www.wikidata.org/wiki/Q3317826","display_name":"ModelSim","level":4,"score":0.28619998693466187},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.2689000070095062},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C24574437","wikidata":"https://www.wikidata.org/wiki/Q7135228","display_name":"Parametric model","level":3,"score":0.2614000141620636},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.25690001249313354}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:ris.utwente.nl:openaire_cris_products/c0131972-0a14-432b-a7ee-8801ef5c0d25","is_oa":true,"landing_page_url":"https://zenodo.org/record/8181117","pdf_url":"https://zenodo.org/records/8181117/files/README.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":null,"raw_type":"Dataset"},{"id":"pmh:oai:ris.utwente.nl:datasets/c0131972-0a14-432b-a7ee-8801ef5c0d25","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/datasets/c0131972-0a14-432b-a7ee-8801ef5c0d25","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},{"id":"doi:10.5281/zenodo.8181117","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.8181117","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_products/c0131972-0a14-432b-a7ee-8801ef5c0d25","is_oa":true,"landing_page_url":"https://zenodo.org/record/8181117","pdf_url":"https://zenodo.org/records/8181117/files/README.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":null,"raw_type":"Dataset"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G769643578","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6931872259.pdf","grobid_xml":"https://content.openalex.org/works/W6931872259.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,192],"our":[1,107,120,142,206,348],"paper,":[2,236],"we":[3,31,147,200,237,275,313],"present":[4],"an":[5,65],"approximating":[6,56],"framework":[7],"for":[8,127,164,187,219,271],"analyzing":[9],"parametric":[10,29,78],"Markov":[11,79],"models.":[12,80],"Instead":[13],"of":[14,27,76,141,158,183,196,205,248,294,300],"computing":[15],"complex":[16],"rational":[17],"functions":[18],"encoding":[19],"the":[20,24,28,33,55,61,69,77,84,99,139,193,197,202,209,213,216,221,225,229,235,239,265,305,310,317,324,330,334,340,345,354],"reachability":[21],"probability":[22],"and":[23,111,136,156,168,190,215,223,250,263,268,280,291,296,319],"reward":[25],"values":[26],"model,":[30],"exploit":[32],"scenario":[34,85],"approach":[35,86],"to":[36,60,91,124,261,283,287,304,309,315,323,333,338,343],"synthesize":[37],"a":[38,149,243,251,298],"relatively":[39],"simple":[40],"polynomial":[41,100],"approximation.":[42],"The":[43,115],"approximation":[44],"is":[45,58,122,174,178],"probably":[46],"approximately":[47],"correct":[48],"(PAC),":[49],"meaning":[50],"that":[51,83,119,233],"with":[52,64,153,246],"high":[53],"confidence,":[54],"function":[57,63],"close":[59],"actual":[62],"allowable":[66],"error.":[67],"With":[68],"PAC":[70],"approximations,":[71],"one":[72,331],"can":[73,87,350],"check":[74,92],"properties":[75,94],"We":[81,104,258],"show":[82],"also":[88],"be":[89,162,351],"used":[90,211,259,276],"PRCTL":[93],"directly":[95],"--":[96],"without":[97],"synthesizing":[98],"at":[101],"first":[102],"hand.":[103],"have":[105],"implemented":[106],"algorithm":[108],"in":[109,181,212,228,234,347,353],"PacPMA":[110],"conducted":[112],"thorough":[113],"experiments.":[114,335],"experimental":[116],"results":[117,346],"demonstrate":[118],"tool":[121,207],"able":[123],"compute":[125],"polynomials":[126],"more":[128],"benchmarks":[129,210],"than":[130],"state-of-the-art":[131],"tools":[132],"such":[133],"as":[134,269,327,329],"PRISM":[135],"Storm,":[137],"confirming":[138],"efficacy":[140],"PAC-based":[143],"synthesis.":[144],"As":[145],"artifact,":[146],"provide":[148],"Virtual":[150],"Machine":[151],"image":[152],"1":[154],"core":[155],"4GB":[157],"RAM":[159,249],"(which":[160],"should":[161],"suitable":[163],"all":[165],"recent":[166],"desktop":[167,244],"laptop":[169],"machines),":[170],"whose":[171],"operating":[172],"system":[173],"Ubuntu":[175],"20.04;":[176],"login":[177],"automatic,":[179],"but":[180],"case":[182],"need,":[184],"use":[185,288],"\"experiments\"":[186,199],"both":[188],"username":[189],"password.":[191],"home":[194],"directory":[195],"user":[198],"include":[201],"source":[203],"code":[204],"PacPMA,":[208],"experiments":[214,222,240],"script":[217],"files":[218,342],"running":[220],"generating":[224],"plots":[226],"included":[227],"paper.":[230],"Please":[231],"note":[232],"performed":[238],"natively":[241],"on":[242],"machine":[245,326],"16GB":[247],"3.6":[252],"GHz":[253],"Intel":[254],"Core":[255],"i7-4790":[256],"CPU.":[257],"Benchexec":[260],"trace":[262],"constrain":[264],"tools'":[266],"executions,":[267],"parameters":[270],"each":[272,285],"single":[273],"execution,":[274],"cpuCores=\"8\",":[277],"memlimit=\"15000":[278],"MB\",":[279],"timelimit=\"600":[281],"s\"":[282],"allow":[284],"execution":[286],"8":[289],"cored":[290],"15":[292],"GB":[293],"memory,":[295],"imposed":[297],"timeout":[299],"10":[301],"minutes.":[302],"Due":[303],"limited":[306],"resources":[307],"assigned":[308,322],"virtual":[311,325],"machine,":[312],"suggest":[314],"increase":[316],"memory":[318],"CPU":[320],"cores":[321],"well":[328],"provided":[332],"All":[336],"instructions":[337],"adapt":[339],"benchmark":[341],"reproduce":[344],"paper":[349],"found":[352],"README":[355],"file.":[356]},"counts_by_year":[],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}