贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1437.68094号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 149-163 (2013). 概要：概率自动机（PA）是一种公认的数学框架，用于描述和分析具有非确定性和随机行为的系统。在最近的一系列论文中，我们提出了抽象概率自动机（Abstract Probabilistic Automata，APA），这是一种新的抽象框架，用于表示可能无限的PA集。我们为APA开发了一个完整的抽象理论，并为其提出了第一个规范理论。APA支持满意度和精细化操作符，以及经典的逐步设计操作符。{}APA的一个主要缺点是，形式主义无法捕捉到具有隐藏行为的PA——然而，这些行为对于描述第三方不可见的行为是必要的。在本文中，我们重新审视并扩展了APA理论到这种背景下。我们的第一个主要结果是提出了一种新的概率满意度关系，它捕获了带有隐藏动作的PA的几个定义。我们的第二个主要贡献是重新审视APA上定义的所有操作和属性，以了解PA的这些概念。最后，我们还建立了随机模式逻辑和APA之间的第一个链接，从而将基于自动机的规范理论与逻辑理论联系起来。关于整个系列，请参见[Zbl 1322.03004号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 03B45号 模态逻辑（包括规范逻辑） 05年3月 与逻辑问题相关的自动机和形式文法 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：MIO工作台 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，Lect。注释计算。科学。7734，149--163（2013；Zbl 1437.68094） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。