{"id":"https://openalex.org/W6968489180","doi":"https://doi.org/10.5281/zenodo.4457307","title":"dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package)","display_name":"dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package)","publication_year":2020,"publication_date":"2020-04-22","ids":{"openalex":"https://openalex.org/W6968489180","doi":"https://doi.org/10.5281/zenodo.4457307"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:4457307","is_oa":true,"landing_page_url":"https://zenodo.org/record/4457307","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/4457307","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":"Jagtap, Pushpak","orcid":"https://orcid.org/0000-0002-5452-8850"},"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":"Jagtap, Pushpak","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":"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":"Zamani, Majid","orcid":"https://orcid.org/0000-0001-6608-3708"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Zamani, Majid","raw_affiliation_strings":["University of Colorado Boulder and Ludwig Maximilian University of Munich"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder and Ludwig Maximilian University of Munich","institution_ids":["https://openalex.org/I8204097","https://openalex.org/I188538660"]}]}],"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":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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.3400000035762787},{"id":"https://openalex.org/keywords/windage","display_name":"Windage","score":0.2955999970436096},{"id":"https://openalex.org/keywords/hyporeflexia","display_name":"Hyporeflexia","score":0.257099986076355},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.24390000104904175},{"id":"https://openalex.org/keywords/articular-cartilage-damage","display_name":"Articular cartilage damage","score":0.21940000355243683},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.21439999341964722}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.3400000035762787},{"id":"https://openalex.org/C81746177","wikidata":"https://www.wikidata.org/wiki/Q4346098","display_name":"Windage","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C2777158700","wikidata":"https://www.wikidata.org/wiki/Q1419356","display_name":"Hyporeflexia","level":3,"score":0.257099986076355},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.24390000104904175},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.21940000355243683},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.21439999341964722},{"id":"https://openalex.org/C2778949103","wikidata":"https://www.wikidata.org/wiki/Q600717","display_name":"Staring","level":2,"score":0.2142000049352646},{"id":"https://openalex.org/C2777054765","wikidata":"https://www.wikidata.org/wiki/Q6402731","display_name":"Dysgeusia","level":3,"score":0.21240000426769257},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.2110999971628189},{"id":"https://openalex.org/C2777742743","wikidata":"https://www.wikidata.org/wiki/Q19904005","display_name":"Durvalumab","level":5,"score":0.20890000462532043}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:4457307","is_oa":true,"landing_page_url":"https://zenodo.org/record/4457307","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.4457307","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.4457307","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":"pmh:oai:zenodo.org:4457307","is_oa":true,"landing_page_url":"https://zenodo.org/record/4457307","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7473693490028381}],"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,36],"is":[1,38,76],"the":[2,8,25,34,58,63,68,170,182,188,209],"Repeatability":[3],"Evaluation":[4],"Package":[5],"associated":[6],"with":[7,199],"HSCC":[9],"2020":[10],"paper":[11],"'<strong>dtControl:":[12],"Decision":[13,73],"Tree":[14],"Learning":[15],"Algorithms":[16],"for":[17,42,48,127,163,178],"Controller":[18],"Representation'</strong>.":[19],"The":[20],"README":[21],"inside":[22],"gives":[23],"all":[24],"information":[26],"necessary":[27],"to":[28,98,104,146,192],"repeat":[29],"our":[30],"experiments":[31],"and":[32,44,47,117,174],"reproduce":[33],"tables.":[35],"package":[37],"made":[39],"available":[40,61],"only":[41],"reproducibility":[43],"archival":[45],"purposes,":[46],"any":[49],"use":[50],"of":[51,139,152,203,208],"dtControl":[52],"in":[53,62,84,169],"practice,":[54],"we":[55],"recommend":[56],"using":[57,106,164],"latest":[59],"version":[60],"PyPI":[64],"repository":[65],"or":[66,109],"through":[67],"official":[69],"webpage.":[70],"<strong>Paper":[71],"abstract</strong>":[72],"tree":[74,142,172,184],"learning":[75,86,143],"a":[77,136,200],"popular":[78],"classification":[79],"technique":[80],"most":[81],"commonly":[82],"used":[83,97],"machine":[85],"applications.":[87],"Recent":[88],"work":[89],"has":[90],"shown":[91],"that":[92],"decision":[93,111,113,132,141,171,183,197,204],"trees":[94,114,198],"can":[95],"be":[96,193],"represent":[99],"provably-correct":[100],"controllers":[101,130,180],"concisely.":[102],"Compared":[103],"representations":[105],"lookup":[107],"tables":[108],"binary":[110,167],"diagrams,":[112],"are":[115],"smaller":[116],"more":[118],"explainable.":[119],"We":[120,134],"present":[121],"dtControl,":[122],"an":[123],"easily":[124],"extensible":[125],"tool":[126],"representing":[128],"memoryless":[129],"as":[131],"trees.":[133],"give":[135],"comprehensive":[137],"evaluation":[138],"various":[140],"algorithms":[144,157],"applied":[145],"10":[147],"case":[148,210],"studies":[149],"arising":[150],"out":[151,191],"correct-by-construction":[153],"controller":[154],"synthesis.":[155],"These":[156],"include":[158],"two":[159],"new":[160],"techniques,":[161],"one":[162,175],"arbitrary":[165],"linear":[166],"classifiers":[168],"learning,":[173],"novel":[176],"approach":[177],"determinizing":[179],"during":[181],"construction.":[185],"In":[186],"particular":[187],"latter":[189],"turns":[190],"extremely":[194],"efficient,":[195],"yielding":[196],"single-digit":[201],"number":[202],"nodes":[205],"on":[206],"5":[207],"studies.":[211]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}