{"id":"https://openalex.org/W6968614885","doi":"https://doi.org/10.5281/zenodo.4437169","title":"dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact)","display_name":"dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact)","publication_year":2021,"publication_date":"2021-01-13","ids":{"openalex":"https://openalex.org/W6968614885","doi":"https://doi.org/10.5281/zenodo.4437169"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.4437169","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.4437169","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.4437169","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ashok, Pranav","orcid":"https://orcid.org/0000-0002-1083-4741"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ashok, Pranav","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jackermeier, Mathias","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jackermeier, Mathias","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"K\u0159et\u00ednsk\u00fd, Jan","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"K\u0159et\u00ednsk\u00fd, Jan","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Weinhuber, Christoph","orcid":"https://orcid.org/0000-0002-1600-4933"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Weinhuber, Christoph","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Weininger, Maximilian","orcid":"https://orcid.org/0000-0002-0163-2152"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Weininger, Maximilian","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":null,"display_name":"Yadav, Mayank","orcid":"https://orcid.org/0000-0003-0302-8108"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]},{"id":"https://openalex.org/I4210093800","display_name":"Voluntary Health Association Of India","ror":"https://ror.org/00nezvm77","country_code":"IN","type":"nonprofit","lineage":["https://openalex.org/I4210093800"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Yadav, Mayank","raw_affiliation_strings":["I.I.T. Delhi"],"affiliations":[{"raw_affiliation_string":"I.I.T. Delhi","institution_ids":["https://openalex.org/I4210093800","https://openalex.org/I68891433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5666000247001648},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5444999933242798},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.5418000221252441},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.499099999666214},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.49410000443458557},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4830000102519989},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4332999885082245},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4284999966621399},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.42329999804496765}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8263000249862671},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5666000247001648},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5444999933242798},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.5418000221252441},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5200999975204468},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.499099999666214},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.49410000443458557},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4830000102519989},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4332999885082245},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4284999966621399},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.42329999804496765},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3874000012874603},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3142000138759613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29829999804496765},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.2888000011444092},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C5481197","wikidata":"https://www.wikidata.org/wiki/Q16766476","display_name":"Decision tree learning","level":3,"score":0.25769999623298645},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.25699999928474426},{"id":"https://openalex.org/C192328126","wikidata":"https://www.wikidata.org/wiki/Q4514647","display_name":"Schematic","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.4437169","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.4437169","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.4437169","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.4437169","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.7329151034355164,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,407],"is":[1,216,385,394],"the":[2,5,25,42,77,116,127,137,141,164,178,203,220,223,231,234,237,243,248,264,270,276,285,292,303,310,314,329,332,339,344,377,380,399,403,415],"artifact":[3,416],"for":[4,41,64,93,157,197,233,331],"TACAS":[6,43],"2021":[7],"paper":[8,221,238,282],"'dtControl":[9],"2.0:":[10],"Explainable":[11],"Strategy":[12],"Representation":[13],"via":[14],"Decision":[15],"Tree":[16],"Learning":[17],"Steered":[18],"by":[19,268,283],"Experts'.The":[20],"Readme":[21],"gives":[22],"you":[23,294],"all":[24,298,343],"necessary":[26],"information":[27],"to":[28,123,241,290,296,396],"repeat":[29],"our":[30,280,383],"experiments":[31],"and":[32,35,99,132,159,174,191,193,208,222,251,275,321],"reproduce":[33],"tables":[34],"figures.":[36],"The":[37,81],"instructions":[38],"are":[39,60,205,341,360,365],"suitable":[40],"21":[44],"Artifact":[45],"Evaluation":[46],"VM":[47],"-":[48],"Ubuntu":[49],"20.04":[50],"LTS.Paper":[51],"abstract":[52],"Recent":[53],"advances":[54],"have":[55],"shown":[56],"how":[57],"decision":[58,128],"trees":[59],"apt":[61],"data":[62],"structures":[63],"concisely":[65],"representing":[66],"strategies":[67],"(or":[68],"controllers)":[69],"satisfying":[70],"various":[71],"objectives.":[72],"Moreover,":[73],"they":[74],"also":[75,134,149],"make":[76],"strategy":[78,91],"more":[79,206],"explainable.":[80],"recent":[82],"tool":[83],"dtControl":[84,104],"had":[85],"provided":[86,143,225],"pipelines":[87],"with":[88,109,305,348,356],"tools":[89],"supporting":[90],"synthesis":[92],"hybrid":[94],"systems,":[95,188,236],"such":[96],"as":[97,167,169,338,352,354],"Scots":[98],"Uppaal":[100],"Stratego.":[101],"We":[102,212,326],"present":[103],"2.0,":[105],"a":[106,151],"new":[107],"version":[108],"several":[110],"fundamentally":[111],"novel":[112],"features.":[113],"Most":[114],"importantly,":[115],"user":[117,153],"can":[118,133],"now":[119],"provide":[120,150,194],"domain":[121],"knowledge":[122],"be":[124],"exploited":[125],"in":[126,226,302,313,367,382,414],"tree":[129],"learning":[130],"process":[131,138],"interactively":[135],"steer":[136],"based":[139],"on":[140,172],"dynamically":[142],"information.":[144],"To":[145,256],"this":[146,227,374],"end,":[147],"we":[148,182,260,317],"graphical":[152],"interface.":[154],"It":[155],"allows":[156],"inspection":[158],"re-computation":[160],"of":[161,163,177,186,309,390],"parts":[162],"result,":[165],"suggesting":[166],"well":[168,353],"receiving":[170],"advice":[171],"predicates,":[173],"visual":[175],"simulation":[176],"decision-making":[179],"process.":[180],"Besides,":[181],"interface":[183],"model":[184],"checkers":[185],"probabilistic":[187],"namely":[189],"Storm":[190],"PRISM":[192],"dedicated":[195],"support":[196],"categorical":[198],"enumeration-type":[199],"state":[200],"variables.":[201],"Consequently,":[202],"controllers":[204],"explainable":[207],"smaller.":[209],"Correction":[210],"(01.11.2024)":[211],"noticed":[213,413],"that":[214,328,372,402],"there":[215],"an":[217],"inconsistency":[218],"between":[219],"scripts":[224,249,330],"artifact.":[228],"When":[229],"constructing":[230],"BDDs":[232,378],"cyber-phyiscal":[235],"uses":[239],"determinization":[240],"construct":[242],"smallest":[244],"possible":[245],"BDD,":[246],"but":[247],"cps-bdd-subset.py":[250],"cps-bdd-all.py":[252],"do":[253],"not":[254,412],"determinize.":[255],"obtain":[257],"determinized":[258],"BDDs,":[259],"offer":[261],"two":[262],"techniques:":[263],"standard":[265],"minnorm":[266,320,357],"approach":[267],"using":[269,284],"command":[271,286],"BDD(0,":[272,287],"label_pre_processor=NormPreProcessor(min),":[273],"name_suffix=<i>)":[274],"MaxFreq":[277,322],"technique":[278],"from":[279,398],"HSCC20":[281],"label_pre_processor=MaxFreqPreProcessor(),name_suffix=<i>).":[288],"Thus,":[289],"replicate":[291],"results,":[293],"need":[295],"replace":[297],"BDD":[299,315,404],"construction":[300,405],"commands":[301],"cps-scripts":[304],"these":[306],"commands.":[307],"Because":[308],"randomness":[311],"involved":[312],"construction,":[316],"always":[318],"used":[319],"10":[323],"times":[324],"each.":[325],"remark":[327],"MDP":[333],"benchmarks":[334],"employ":[335],"determinization.":[336],"However,":[337],"models":[340],"deterministic,":[342],"techniques":[345],"(not":[346],"determinizing":[347,355],"actOR":[349],"or":[350,358],"actUL":[351],"MaxFreq)":[359],"equivalent,":[361],"so":[362],"no":[363],"changes":[364],"required":[366],"those":[368],"scripts.":[369],"Finally,":[370],"note":[371],"while":[373],"consistently":[375],"makes":[376],"smaller,":[379],"difference":[381],"examples":[384],"less":[386],"than":[387],"one":[388],"order":[389],"magnitude.":[391],"Thus":[392],"it":[393,410],"hard":[395],"distinguish":[397],"random":[400],"deviations":[401],"exhibits.":[406],"explains":[408],"why":[409],"was":[411],"evaluation.":[417]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}