×
穆拉特·库布克特佩；詹森，尼尔斯；穆罕默德·阿尔谢赫；托普库，乌福

为共享控制合成可证明正确的自治协议。 （英语） Zbl 1467.93289号

IEEE传输。自动。控制 66，编号7，3251-3258（2021）.
评论：未发送评论稿。

MSC公司：

93E03型 控制理论中的随机系统（一般）
93C85号 控制理论中的自动化系统（机器人等）
03B44号 时间逻辑
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，IEEE Trans。自动。控制66，编号7，3251--3258（2021；Zbl 1467.93289）
全文： 内政部 arXiv公司