带定时器的 Mealy 机主动学习
形式语言与自动机理论
2025-08-20 v3 机器学习
摘要
我们提出了首个在黑盒环境下查询学习带定时器的 Mealy 机的算法。我们的算法是 Vaandrager 等人的 L# 算法在时间设定下的扩展。我们依赖于符号查询，这使我们能够在学习过程中对非定时执行进行推理。与 Waga 的定时自动机学习算法类似，这些符号查询可以通过有限多个具体查询来实现。原型实现的实验表明，我们的算法能够高效地学习现实基准。
引用
@article{arxiv.2403.02019,
title = {Active Learning of Mealy Machines with Timers},
author = {Véronique Bruyère and Bharat Garhewal and Guillermo A. Pérez and Gaëtan Staquet and Frits W. Vaandrager},
journal= {arXiv preprint arXiv:2403.02019},
year = {2025}
}
备注
57 pages, 13 figures. Published at QEST+FORMATS 2025