萨拉尔莫阿雷夫;Kress-Gazit，哈达斯 机器人群的反应合成。 （英语） Zbl 1514.68303号 Jansen，David N.（编辑）等人，《时间系统的形式化建模和分析》。2018年9月4日至6日，第16届国际会议，FORMATS 2018，中国北京。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11022, 71-87 (2018). 小结：我们考虑具有非瞬时作用的系统的反应合成问题，即系统的动作可能需要任意长的时间才能完成，同时来自环境的输入也可能发生变化，可能需要与系统不同的响应。通过引入辅助命题和公平性假设，可以将该问题建模为一个典型的反应式综合问题，但要牺牲额外的计算复杂性。我们开发了新的可实现性和综合算法，在不添加辅助命题或假设的情况下解决问题。我们讨论了这两种方法的复杂性。然后，我们将我们的算法应用于群体机器人系统的控制器合成。我们实现了这两种方法，并使用特定的群任务对它们进行了比较。关于整个系列，请参见[Zbl 1396.68015号]. MSC公司： 68T40型 机器人人工智能 03B44号 时间逻辑 65年第68季度 算法和问题复杂性分析 60年第68季度 规范和验证（程序逻辑、模型检查等） 93亿B50 合成问题 93C85号 控制理论中的自动化系统（机器人等） PDF格式BibTeX公司 XML格式引用 \textit{S.Moarref}和\textit{H.Kress-Gazit}，莱克特。注释计算。科学。11022，71-87（2018年；兹比尔1514.68303） 全文： 内政部