{"id":"https://openalex.org/W2407801801","doi":"https://doi.org/10.1145/2897667.2897672","title":"Simple synthesis of reactive systems with tolerance for unexpected environmental behavior","display_name":"Simple synthesis of reactive systems with tolerance for unexpected environmental behavior","publication_year":2016,"publication_date":"2016-05-14","ids":{"openalex":"https://openalex.org/W2407801801","doi":"https://doi.org/10.1145/2897667.2897672","mag":"2407801801"},"language":"en","primary_location":{"id":"doi:10.1145/2897667.2897672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897667.2897672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th FME Workshop on Formal Methods in Software 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/A5088859890","display_name":"Shigeki Hagihara","orcid":"https://orcid.org/0000-0002-9094-6398"},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shigeki Hagihara","raw_affiliation_strings":["Tokyo Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104022067","display_name":"Atsushi Ueno","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095724","display_name":"Nintendo (Japan)","ror":"https://ror.org/00pscny09","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210095724"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Atsushi Ueno","raw_affiliation_strings":["Nintendo Co., Ltd"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nintendo Co., Ltd","institution_ids":["https://openalex.org/I4210095724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002638586","display_name":"Takashi Tomita","orcid":"https://orcid.org/0000-0003-1249-7862"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Tomita","raw_affiliation_strings":["Japan Advanced Institute of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Japan Advanced Institute of Science and Technology","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016472438","display_name":"Masaya Shimakawa","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masaya Shimakawa","raw_affiliation_strings":["Tokyo Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058739699","display_name":"Naoki Yonezaki","orcid":null},"institutions":[{"id":"https://openalex.org/I203189479","display_name":"The Open University of Japan","ror":"https://ror.org/03jyr9x65","country_code":"JP","type":"education","lineage":["https://openalex.org/I203189479"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Naoki Yonezaki","raw_affiliation_strings":["The Open University of Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Open University of Japan","institution_ids":["https://openalex.org/I203189479"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.171,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86943453,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"2016","issue":null,"first_page":"15","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9944999814033508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.7124428749084473},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6415552496910095},{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.5678081512451172},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5075770616531372},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4687758982181549},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38176414370536804},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16709688305854797},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1515388786792755},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.11979532241821289}],"concepts":[{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.7124428749084473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6415552496910095},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.5678081512451172},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5075770616531372},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4687758982181549},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38176414370536804},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16709688305854797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1515388786792755},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.11979532241821289},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2897667.2897672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897667.2897672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering","raw_type":"proceedings-article"},{"id":"mag:2747397708","is_oa":false,"landing_page_url":"http://jglobal.jst.go.jp/en/public/201702267063838648","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[{"id":"https://openalex.org/G5610874826","display_name":"Synthesis of embedded systems satisfying quantitative constraints by formal methods","funder_award_id":"16K00092","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W143039783","https://openalex.org/W144199319","https://openalex.org/W1517638774","https://openalex.org/W1540597046","https://openalex.org/W1590266960","https://openalex.org/W1754034137","https://openalex.org/W1782528461","https://openalex.org/W1786377004","https://openalex.org/W1975294133","https://openalex.org/W2016206563","https://openalex.org/W2025616619","https://openalex.org/W2026128612","https://openalex.org/W2037919977","https://openalex.org/W2041308048","https://openalex.org/W2095620890","https://openalex.org/W2111299652","https://openalex.org/W2150447589","https://openalex.org/W2151695161","https://openalex.org/W2561675875","https://openalex.org/W2913192371","https://openalex.org/W3143115312","https://openalex.org/W6758134884"],"related_works":["https://openalex.org/W1585007175","https://openalex.org/W2382521049","https://openalex.org/W2144385241","https://openalex.org/W4300101996","https://openalex.org/W2165950148","https://openalex.org/W4253593777","https://openalex.org/W2951497643","https://openalex.org/W4403053866","https://openalex.org/W3112010324","https://openalex.org/W2349580982"],"abstract_inverted_index":{"During":[0],"the":[1,19,27,41,44,47,62,65,69,73,114,124,143,151,157,179],"synthesis":[2,126],"of":[3,12,29,64,75,96,117],"reactive":[4,32,66,106,159,181],"systems,":[5],"if":[6,142],"we":[7,91],"assume":[8],"some":[9],"behavioral":[10],"property":[11],"an":[13,172],"environment,":[14],"any":[15],"specification":[16,42,144],"must":[17],"include":[18],"environmental":[20,48,77,86,97,109,184],"constraint":[21],"in":[22,54,72],"their":[23],"conditions.":[24],"In":[25,88,111],"general,":[26],"behavior":[28,49,63],"a":[30,55,84,93,101,105,118,133,138],"synthesized":[31],"system":[33,67,107,160],"from":[34],"such":[35,83,136],"specifications":[36,170],"only":[37],"tends":[38],"to":[39,132,169],"satisfy":[40],"for":[43,82,103,150],"case":[45,74,85],"where":[46],"follows":[50],"these":[51],"conditions;":[52],"however,":[53],"real-world":[56],"setting":[57],"it":[58,175],"is":[59,121,130,140,145,153,161,165,176],"desirable":[60],"that":[61,137,178],"satisfies":[68],"specification,":[70],"even":[71],"unexpected":[76],"behavior.":[78],"We":[79],"call":[80],"tolerance":[81],"tolerance.":[87,110,185],"this":[89,129],"paper,":[90],"give":[92],"simple":[94],"definition":[95],"tolerance,":[98],"and":[99,128,156,167,174],"propose":[100],"method":[102,164],"synthesizing":[104],"with":[108],"our":[112],"method,":[113,127],"winning":[115],"region":[116],"safety":[119],"game":[120,135,152],"computed":[122,155],"using":[123],"Safraless":[125],"converted":[131],"mean-payoff":[134],"payoff":[139],"earned":[141],"satisfied.":[146],"The":[147,163],"optimal":[148],"strategy":[149],"then":[154],"resulting":[158],"synthesized.":[162],"implemented":[166],"applied":[168],"as":[171],"experiment,":[173],"confirmed":[177],"obtained":[180],"systems":[182],"have":[183]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}