分布时态逻辑的布琪自动机
摘要：分布式临时逻辑DTL是一种用于从系统代理的本地视角推理分布式系统的时间属性的逻辑。系统代理被假设为按顺序执行，并通过同步事件共享进行交互。多年来，针对许多不同的应用程序提供了DTL的不同版本，反映了对每个代理如何访问非本地信息的不同观点。在本文中，我们提出了一种新颖的分布式B"uchi自动机的概念，旨在包含具有模型检验机制的DTL。
作者：Jaime Ramos
论文ID：1909.01741
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2019-09-05