{"id":"https:\/\/openalex.org\/W2050288058","doi":"https:\/\/doi.org\/10.1109\/hase.2015.15","title":"Model-Checking and Game theory for Synthesis of Safety Rules","display_name":"Model-Checking and Game theory for Synthesis of Safety Rules","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https:\/\/openalex.org\/W2050288058","doi":"https:\/\/doi.org\/10.1109\/hase.2015.15","mag":"2050288058"},"language":"en","primary_location":{"id":"doi:10.1109\/hase.2015.15","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/hase.2015.15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https:\/\/openalex.org\/A5012140860","display_name":"Mathilde Machin","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mathilde Machin","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5002272639","display_name":"Fanny Dufoss\u00e9","orcid":"https:\/\/orcid.org\/0000-0002-2260-2200"},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fanny Dufosse","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5005603490","display_name":"J\u00e9r\u00e9mie Guiochet","orcid":"https:\/\/orcid.org\/0000-0002-1285-8974"},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jeremie Guiochet","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5111405156","display_name":"David Powell","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David Powell","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5103056913","display_name":"Matthieu Roy","orcid":"https:\/\/orcid.org\/0000-0002-6336-4667"},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Matthieu Roy","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5036477732","display_name":"H\u00e9l\u00e8ne Waeselynck","orcid":"https:\/\/orcid.org\/0009-0007-3103-9329"},"institutions":[{"id":"https:\/\/openalex.org\/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https:\/\/ror.org\/02feahw73","country_code":"FR","type":"government","lineage":["https:\/\/openalex.org\/I1294671590"]},{"id":"https:\/\/openalex.org\/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https:\/\/ror.org\/004raaa70","country_code":"FR","type":"education","lineage":["https:\/\/openalex.org\/I17866349"]},{"id":"https:\/\/openalex.org\/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https:\/\/ror.org\/03vcm6439","country_code":"FR","type":"facility","lineage":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903","https:\/\/openalex.org\/I193033237","https:\/\/openalex.org\/I196454796","https:\/\/openalex.org\/I205747304","https:\/\/openalex.org\/I4210095849","https:\/\/openalex.org\/I4210152422","https:\/\/openalex.org\/I4210159245","https:\/\/openalex.org\/I4405258862","https:\/\/openalex.org\/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Helene Waeselynck","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","Universit\u00e9 de Toulouse, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I1294671590","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse, LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I17866349","https:\/\/openalex.org\/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https:\/\/openalex.org\/I190497903"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3296,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87849817,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"36","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https:\/\/openalex.org\/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},"topics":[{"id":"https:\/\/openalex.org\/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9990000128746033,"subfield":{"id":"https:\/\/openalex.org\/subfields\/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https:\/\/openalex.org\/fields\/22","display_name":"Engineering"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1712","display_name":"Software"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https:\/\/openalex.org\/keywords\/liveness","display_name":"Liveness","score":0.9568102359771729},{"id":"https:\/\/openalex.org\/keywords\/computer-science","display_name":"Computer science","score":0.7648051977157593},{"id":"https:\/\/openalex.org\/keywords\/model-checking","display_name":"Model checking","score":0.6544104814529419},{"id":"https:\/\/openalex.org\/keywords\/software-deployment","display_name":"Software deployment","score":0.4916542172431946},{"id":"https:\/\/openalex.org\/keywords\/extension","display_name":"Extension (predicate logic)","score":0.4626966118812561},{"id":"https:\/\/openalex.org\/keywords\/life-critical-system","display_name":"Life-critical system","score":0.434886634349823},{"id":"https:\/\/openalex.org\/keywords\/system-safety","display_name":"System safety","score":0.4346705675125122},{"id":"https:\/\/openalex.org\/keywords\/formal-verification","display_name":"Formal verification","score":0.4184868633747101},{"id":"https:\/\/openalex.org\/keywords\/reliability-engineering","display_name":"Reliability engineering","score":0.325361043214798},{"id":"https:\/\/openalex.org\/keywords\/software-engineering","display_name":"Software engineering","score":0.2850964665412903},{"id":"https:\/\/openalex.org\/keywords\/distributed-computing","display_name":"Distributed computing","score":0.25899550318717957},{"id":"https:\/\/openalex.org\/keywords\/programming-language","display_name":"Programming language","score":0.2086564302444458},{"id":"https:\/\/openalex.org\/keywords\/software","display_name":"Software","score":0.14370951056480408},{"id":"https:\/\/openalex.org\/keywords\/engineering","display_name":"Engineering","score":0.11623287200927734}],"concepts":[{"id":"https:\/\/openalex.org\/C15569618","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3561421","display_name":"Liveness","level":2,"score":0.9568102359771729},{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.7648051977157593},{"id":"https:\/\/openalex.org\/C110251889","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1569697","display_name":"Model checking","level":2,"score":0.6544104814529419},{"id":"https:\/\/openalex.org\/C105339364","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2297740","display_name":"Software deployment","level":2,"score":0.4916542172431946},{"id":"https:\/\/openalex.org\/C2778029271","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4626966118812561},{"id":"https:\/\/openalex.org\/C163707989","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1996307","display_name":"Life-critical system","level":3,"score":0.434886634349823},{"id":"https:\/\/openalex.org\/C132835097","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7663745","display_name":"System safety","level":2,"score":0.4346705675125122},{"id":"https:\/\/openalex.org\/C111498074","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q173326","display_name":"Formal verification","level":2,"score":0.4184868633747101},{"id":"https:\/\/openalex.org\/C200601418","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2193887","display_name":"Reliability engineering","level":1,"score":0.325361043214798},{"id":"https:\/\/openalex.org\/C115903868","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q80993","display_name":"Software engineering","level":1,"score":0.2850964665412903},{"id":"https:\/\/openalex.org\/C120314980","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q180634","display_name":"Distributed computing","level":1,"score":0.25899550318717957},{"id":"https:\/\/openalex.org\/C199360897","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9143","display_name":"Programming language","level":1,"score":0.2086564302444458},{"id":"https:\/\/openalex.org\/C2777904410","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7397","display_name":"Software","level":2,"score":0.14370951056480408},{"id":"https:\/\/openalex.org\/C127413603","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q11023","display_name":"Engineering","level":0,"score":0.11623287200927734}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109\/hase.2015.15","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/hase.2015.15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01164981v1","is_oa":false,"landing_page_url":"https:\/\/hal.science\/hal-01164981","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https:\/\/openalex.org\/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https:\/\/openalex.org\/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109\/HASE.2015.15⟩","raw_type":"info:eu-repo\/semantics\/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https:\/\/openalex.org\/W1489391022","https:\/\/openalex.org\/W1596365597","https:\/\/openalex.org\/W1599995366","https:\/\/openalex.org\/W1606824214","https:\/\/openalex.org\/W1979349468","https:\/\/openalex.org\/W2037635833","https:\/\/openalex.org\/W2047192422","https:\/\/openalex.org\/W2101623441","https:\/\/openalex.org\/W2115309705","https:\/\/openalex.org\/W2118024052","https:\/\/openalex.org\/W2130783225","https:\/\/openalex.org\/W2151958719","https:\/\/openalex.org\/W2160883697","https:\/\/openalex.org\/W2163119090","https:\/\/openalex.org\/W2612134719","https:\/\/openalex.org\/W6635889333","https:\/\/openalex.org\/W6736990191"],"related_works":["https:\/\/openalex.org\/W2082472813","https:\/\/openalex.org\/W2147348835","https:\/\/openalex.org\/W3005566532","https:\/\/openalex.org\/W2164319435","https:\/\/openalex.org\/W2053494557","https:\/\/openalex.org\/W2006962382","https:\/\/openalex.org\/W2149716943","https:\/\/openalex.org\/W2037121848","https:\/\/openalex.org\/W4312733571","https:\/\/openalex.org\/W4315606162"],"abstract_inverted_index":{"Ensuring":[0],"that":[1,28,83],"safety":[2,23,54,59,86,101,129],"requirements":[3,104],"are":[4,63,105],"respected":[5],"is":[6,29],"a":[7,21,26,49,69,80,109,114],"critical":[8],"issue":[9,44],"for":[10],"the":[11,34,43,73,96,118,122,138],"deployment":[12],"of":[13,45,72,125,137],"hazardous":[14],"and":[15,36,55,65,75],"complex":[16],"reactive":[17],"systems.":[18],"We":[19,41],"consider":[20],"separate":[22],"channel,":[24],"called":[25],"monitor,":[27],"able":[30],"to":[31,37,53,99,127],"partially":[32],"observe":[33],"system":[35,74,85,90],"trigger":[38],"safety-ensuring":[39],"actuations.":[40],"address":[42],"correctly":[46],"specifying":[47],"such":[48],"monitor":[50,81],"with":[51],"respect":[52],"liveness":[56],"requirements.":[57,102],"Two":[58],"requirement":[60],"synthesis":[61],"programs":[62],"presented":[64],"compared.":[66],"Based":[67,112],"on":[68,113],"formal":[70],"model":[71],"its":[76],"hazards,":[77],"they":[78],"compute":[79],"behavior":[82],"ensures":[84],"without":[87],"unduly":[88],"compromising":[89],"liveness.":[91],"The":[92],"first":[93],"program":[94,120],"uses":[95,121],"model-checker":[97],"NuSMV":[98],"check":[100],"These":[103],"automatically":[106],"generated":[107],"by":[108],"branch-and-bound":[110],"algorithm.":[111],"game":[115],"theory":[116],"approach,":[117],"second":[119],"TIGA":[123],"extension":[124],"UPPAAL":[126],"synthesize":[128],"requirements,":[130],"starting":[131],"from":[132],"an":[133],"appropriately":[134],"reformulated":[135],"representation":[136],"problem.":[139]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}