Conversion of LSAT behavioral specifications to automata

Search of Complex Binary Cellular Automata Using Behavioral Metrics

We propose the characterization of binary cellular automata using a set of behavioral metrics that are applied to the minimal Boolean form of a cellular automaton's transition function. These behavioral metrics are formulated to satisfy heuristic criteria derived from elementary cellular automata. Behaviors characterized through these metrics are growth, decrease, chaoticity, and stability. From these metrics, two measures of global behavior are calculated: 1) a static measure that considers all possible input patterns and counts the occurrence of the proposed metrics in the truth table of the…

Behavioral Strengths and Weaknesses of Various Models of Limited Automata

We examine the behaviors of various models of $k$-limited automata, which naturally extend Hibbard's [Inf. Control, vol. 11, pp. 196--238, 1967] scan limited automata, each of which is a single-tape linear-bounded automaton satisfying the $k$-limitedness requirement that the content of each tape cell should be modified only during the first $k$ visits of a tape head. One central computation model is a probabilistic $k$-limited automaton (abbreviated as a $k$-lpa), which accepts an input exactly when its accepting states are reachable from its initial state with probability more than 1/2 within…

使用自动机学习对蓝牙设备进行指纹识别与分析

Fingerprinting and Analysis of Bluetooth Devices with Automata Learning

本文提出一种通用的自动机学习架构用于学习物理设备蓝牙低功耗（BLE）协议的行为模型，成功对六台设备进行指纹识别并发现其与规范的行为差异及崩溃场景。

Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

Active automata learning became a popular tool for the behavioral analysis of communication protocols. The main advantage is that no manual modeling effort is required since a behavioral model is automatically inferred from a black-box system. However, several real-world applications of this technique show that the overhead for the establishment of an active interface might hamper the practical applicability. Our recent work on the active learning of Bluetooth Low Energy (BLE) protocol found that the active interaction creates a bottleneck during learning. Considering the automata learning too…

单向量子自动机中对称下的行为记忆

Behavioral Memory under Symmetry in One-Way Quantum Automata

该研究针对单向量子自动机，通过算子代数理论分析对称下的行为记忆，揭示非交换性的最坏情况经典代价为一个状态，且对称可改变最坏记忆尺度。

NeuroSTAR：自动机引导的神经符号规约形式化

NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization

本研究提出NeuroSTAR框架，通过多生成器获取LTLf候选并基于DFA迹优化，在NL转LTLf任务上性能提升8-18个百分点，在驾驶法规文本中83.9%的段落可捕捉必要时序语义，验证了其有效性。