{"title":"带有因果记忆的分布式异步游戏是不可判定的","authors":"H. Gimbert","doi":"10.46298/lmcs-18(3:30)2022","DOIUrl":null,"url":null,"abstract":"We show the undecidability of the distributed control problem when the plant\nis an asynchronous automaton, the controllers use causal memory and the goal of\nthe controllers is to put each process in a local accepting state.","PeriodicalId":314387,"journal":{"name":"Log. Methods Comput. Sci.","volume":"65 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Distributed Asynchronous Games With Causal Memory are Undecidable\",\"authors\":\"H. Gimbert\",\"doi\":\"10.46298/lmcs-18(3:30)2022\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show the undecidability of the distributed control problem when the plant\\nis an asynchronous automaton, the controllers use causal memory and the goal of\\nthe controllers is to put each process in a local accepting state.\",\"PeriodicalId\":314387,\"journal\":{\"name\":\"Log. Methods Comput. Sci.\",\"volume\":\"65 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-10-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Log. Methods Comput. Sci.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.46298/lmcs-18(3:30)2022\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Log. Methods Comput. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.46298/lmcs-18(3:30)2022","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Distributed Asynchronous Games With Causal Memory are Undecidable
We show the undecidability of the distributed control problem when the plant
is an asynchronous automaton, the controllers use causal memory and the goal of
the controllers is to put each process in a local accepting state.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
