从Spot 2.0到Spot 2.10：有什么新功能？
From Spot 2.0 to Spot 2.10: What's New?
摘要：
Spot是一个用于LTL和$ω$自动机操作的C++17库，具有命令行实用程序和Python绑定。本文总结了它的演变在过去的六年中，自发布的现货2.0，这是第一个版本，以支持$ω$-自动机与任意接受条件，并在会议上提出的最后一个版本。从那时起，Spot已经扩展了几个功能，如接受转换，交替自动机，游戏，LTL合成等。我们还阐明了用于存储自动机的数据结构。
英文摘要：
Spot is a C ++ 17 library for LTL and $ω$-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support $ω$-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
