{"id":"https://openalex.org/W6912604017","doi":"https://doi.org/10.5281/zenodo.5643442","title":"Artifact of \"MoGym: Using Formal Models for Training and Verifying Decision Agents\"","display_name":"Artifact of \"MoGym: Using Formal Models for Training and Verifying Decision Agents\"","publication_year":2021,"publication_date":"2021-11-04","ids":{"openalex":"https://openalex.org/W6912604017","doi":"https://doi.org/10.5281/zenodo.5643442"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5643442","is_oa":true,"landing_page_url":"https://zenodo.org/record/5643442","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/5643442","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Gros, Timo P.","orcid":"https://orcid.org/0000-0002-1100-1952"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gros, Timo P.","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus"],"raw_orcid":"https://orcid.org/0000-0002-1100-1952","affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hermanns, Holger","orcid":"https://orcid.org/0000-0002-2766-9615"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hermanns, Holger","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus"],"raw_orcid":"https://orcid.org/0000-0002-2766-9615","affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Klauck, Michaela","orcid":"https://orcid.org/0000-0002-6353-227X"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klauck, Michaela","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus"],"raw_orcid":"https://orcid.org/0000-0002-6353-227X","affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":null,"display_name":"K\u00f6hl, Maximilian A.","orcid":"https://orcid.org/0000-0003-2551-2814"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"K\u00f6hl, Maximilian A.","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus"],"raw_orcid":"https://orcid.org/0000-0003-2551-2814","affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I91712215"],"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.8532000184059143},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.49320000410079956},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4426000118255615},{"id":"https://openalex.org/keywords/decision-model","display_name":"Decision model","score":0.43529999256134033},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.423799991607666},{"id":"https://openalex.org/keywords/training","display_name":"Training (meteorology)","score":0.3991999924182892},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3750999867916107},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.3709000051021576}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.8532000184059143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8039000034332275},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6065999865531921},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.49320000410079956},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.44859999418258667},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4426000118255615},{"id":"https://openalex.org/C59594135","wikidata":"https://www.wikidata.org/wiki/Q5249242","display_name":"Decision model","level":2,"score":0.43529999256134033},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.423799991607666},{"id":"https://openalex.org/C2777211547","wikidata":"https://www.wikidata.org/wiki/Q17141490","display_name":"Training (meteorology)","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3601999878883362},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.35359999537467957},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.34369999170303345},{"id":"https://openalex.org/C84839998","wikidata":"https://www.wikidata.org/wiki/Q5249245","display_name":"Decision rule","level":2,"score":0.33629998564720154},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.329800009727478},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.28529998660087585},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2531000077724457}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5643442","is_oa":true,"landing_page_url":"https://zenodo.org/record/5643442","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.5643442","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5643442","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5643442","is_oa":true,"landing_page_url":"https://zenodo.org/record/5643442","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":[{"score":0.5917152762413025,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3377406260","display_name":null,"funder_award_id":"695614","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"is":[1,126],"the":[2,63,68,76,79,83,86,98,134],"artifact":[3,17,124],"of":[4,25,57,65,67,78,85,101],"\"MoGym:":[5],"Using":[6],"Formal":[7],"Models":[8],"for":[9,103],"Training":[10],"and":[11,47,139],"Verifying":[12],"Decision":[13],"Agents\"":[14],"In":[15,91],"this":[16,123],"we":[18,71,93],"demonstrate":[19],"how":[20,49,73,95],"to":[21,50,74,96,113,128],"use":[22,97],"all":[23,130],"functionalities":[24],"MoGym.":[26],"We":[27,38],"describe":[28,48,72],"MoGym's":[29],"Open":[30],"AI":[31],"Gym":[32],"based":[33],"API":[34],"implemented":[35],"in":[36,45,55,133],"`Momba`.":[37],"start":[39],"with":[40,82],"having":[41],"a":[42,52,58,119],"formal":[43],"model":[44,88,108],"`JANI`":[46],"learn":[51],"decision":[53,116],"agent":[54,117],"form":[56],"neural":[59],"network":[60],"(NN)":[61],"resolving":[62,104],"non-determinism":[64,105],"one":[66],"automata.":[69],"Then":[70],"assess":[75],"quality":[77],"learned":[80],"NN":[81],"help":[84],"statistical":[87,107],"checker":[89],"`modes`.":[90],"addition,":[92],"explain":[94],"general":[99],"interface":[100],"`modes`":[102],"during":[106],"checking":[109],"(SMC),":[110],"which":[111],"connects":[112],"an":[114],"arbitrary":[115],"over":[118],"socket":[120],"communication.":[121],"With":[122],"it":[125],"possible":[127],"reproduce":[129],"experiments":[131],"described":[132],"submitted":[135],"paper":[136],"(Sect.":[137],"4)":[138],"even":[140],"more.":[141]},"counts_by_year":[],"updated_date":"2026-07-13T07:31:44.756512","created_date":"2025-10-10T00:00:00"}