{"id":"https://openalex.org/W6950478885","doi":"https://doi.org/10.5281/zenodo.7888502","title":"MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties","display_name":"MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties","publication_year":2023,"publication_date":"2023-05-02","ids":{"openalex":"https://openalex.org/W6950478885","doi":"https://doi.org/10.5281/zenodo.7888502"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7888502","is_oa":true,"landing_page_url":"https://zenodo.org/record/7888502","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7888502","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ghosh, Bineet","orcid":"https://orcid.org/0000-0002-1371-2803"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ghosh, Bineet","raw_affiliation_strings":["The University of North Carolina at Chapel Hill"],"raw_orcid":"https://orcid.org/0000-0002-1371-2803","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"last","author":{"id":null,"display_name":"Andr\u00e9, \u00c9tienne","orcid":"https://orcid.org/0000-0001-8473-9555"},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Andr\u00e9, \u00c9tienne","raw_affiliation_strings":["Universit\u00e9 Sorbonne Paris Nord"],"raw_orcid":"https://orcid.org/0000-0001-8473-9555","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Sorbonne Paris Nord","institution_ids":["https://openalex.org/I4210091279"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/bounding-overwatch","display_name":"Bounding overwatch","score":0.661300003528595},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4726000130176544},{"id":"https://openalex.org/keywords/license","display_name":"License","score":0.35100001096725464},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.3361999988555908},{"id":"https://openalex.org/keywords/noisy-data","display_name":"Noisy data","score":0.3352000117301941},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.30090001225471497}],"concepts":[{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.661300003528595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6272000074386597},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4726000130176544},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40209999680519104},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C2781170535","wikidata":"https://www.wikidata.org/wiki/Q30587856","display_name":"Noisy data","level":2,"score":0.3352000117301941},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32760000228881836},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31540000438690186},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.30090001225471497},{"id":"https://openalex.org/C9357733","wikidata":"https://www.wikidata.org/wiki/Q6878417","display_name":"Missing data","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2587999999523163},{"id":"https://openalex.org/C33954974","wikidata":"https://www.wikidata.org/wiki/Q486494","display_name":"Sensor fusion","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C2983325608","wikidata":"https://www.wikidata.org/wiki/Q17084606","display_name":"Data association","level":3,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7888502","is_oa":true,"landing_page_url":"https://zenodo.org/record/7888502","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},{"id":"doi:10.5281/zenodo.7888502","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7888502","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":"Software"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7888502","is_oa":true,"landing_page_url":"https://zenodo.org/record/7888502","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6206271052360535}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,76],"introduce":[1],"MoULDyS,":[2],"that":[3],"implements":[4],"efficient":[5],"offline":[6],"and":[7,27,66],"online":[8],"monitoring":[9],"algorithms":[10],"of":[11,39,50,60,85],"black-box":[12],"cyber-physical":[13],"systems":[14],"w.r.t.":[15],"safety":[16],"properties.":[17],"MoULDyS":[18,63],"takes":[19],"as":[20,30,32,55],"input":[21],"an":[22,40,91],"uncertain":[23,41],"log":[24],"(with":[25],"noisy":[26],"missing":[28],"samples),":[29],"well":[31],"a":[33,51],"bounding":[34],"model":[35,46],"in":[36,90],"the":[37,48,58,69,83],"form":[38],"linear":[42],"system;":[43],"this":[44],"latter":[45],"plays":[47],"role":[49],"rough":[52],"over-approximation":[53],"so":[54],"to":[56,81],"reduce":[57],"number":[59],"false":[61],"alarms.":[62],"is":[64],"Python-based":[65],"available":[67],"under":[68],"GNU":[70],"General":[71],"Public":[72],"License":[73],"v3.0":[74],"(gpl-3.0).":[75],"further":[77],"provide":[78],"easy-to-use":[79],"scripts":[80],"recreate":[82],"results":[84],"two":[86],"case":[87],"studies":[88],"introduced":[89],"earlier":[92],"work.":[93]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}