automata

一篇论文探讨了代理工具箱与模型对代理行为的贡献差异，将轨迹压缩成一个紧凑的有限状态机，并在十二个数据集上进行了验证。

本文提出了一种基于自动机的新型方法，用于从信号时序逻辑规范中进行控制综合，利用强化学习，相比现有方法，提高了鲁棒性分数和满足率。

这份1994年的技术说明描述了在Forth中构建确定性和非确定性有限状态自动机的方法，强调定义与状态表之间的一一对应，以避免缓慢的嵌套IF语句。

本文介绍了一种白盒仪器，使用隐藏确定性有限自动机分别测量强化学习代理的奖励成功和潜在状态学习，发现高奖励并不意味着任务理解。

一份介绍性的 literate Haskell 文档，探讨余代数和自动机之间的关系，展示如何利用范畴论中的 fold 和 unfold 操作来建模状态机。