{"id":"https://openalex.org/W6892719405","doi":"https://doi.org/10.5281/zenodo.11401350","title":"Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'","display_name":"Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'","publication_year":2024,"publication_date":"2024-05-31","ids":{"openalex":"https://openalex.org/W6892719405","doi":"https://doi.org/10.5281/zenodo.11401350"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.11401350","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11401350","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":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.11401350","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Andriushchenko, Roman","orcid":"https://orcid.org/0000-0002-1286-934X"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Andriushchenko, Roman","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-1286-934X","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":null,"display_name":"\u010ce\u0161ka, Milan","orcid":"https://orcid.org/0000-0002-0300-9727"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"\u010ce\u0161ka, Milan","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-0300-9727","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Junges, Sebastian","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":"Junges, Sebastian","raw_affiliation_strings":["Radboud University Nijmegen"],"raw_orcid":"https://orcid.org/0000-0003-0978-8466","affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Katoen, Joost-Pieter","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":"Katoen, Joost-Pieter","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":"https://orcid.org/0000-0002-6143-1926","affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":null,"display_name":"Mac\u00e1k, Filip","orcid":"https://orcid.org/0009-0004-4277-2751"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Mac\u00e1k, Filip","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0009-0004-4277-2751","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I60587646"],"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/artifact","display_name":"Artifact (error)","score":0.6917999982833862},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.607699990272522},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.35679998993873596},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.33390000462532043},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3314000070095062}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6917999982833862},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6330999732017517},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.607699990272522},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3774000108242035},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.35679998993873596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35350000858306885},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.33169999718666077},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3314000070095062},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3310999870300293},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.30640000104904175},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C161362739","wikidata":"https://www.wikidata.org/wiki/Q2301555","display_name":"Open-loop controller","level":3,"score":0.27160000801086426},{"id":"https://openalex.org/C9417928","wikidata":"https://www.wikidata.org/wiki/Q1070689","display_name":"Image processing","level":3,"score":0.26840001344680786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.11401350","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11401350","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":"doi:10.5281/zenodo.11401350","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11401350","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":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Artifact":[0],"supplement":[1],"for":[2],"submission":[3],"\"An":[4],"Oracle-Guided":[5],"Approach":[6],"to":[7],"Constrained":[8],"Controller":[9],"Synthesis":[10],"Under":[11],"Uncertainty\".":[12],"The":[13],"attached":[14],"file":[15],"includes:":[16],"docker":[17],"image":[18],"containing":[19],"our":[20,27],"tool":[21],"and":[22],"the":[23,32],"models":[24],"considered":[25],"in":[26],"article":[28],"log":[29],"files":[30],"from":[31],"conducted":[33],"experiments":[34]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}