从 Spot 2.0 到 Spot 2.10：有哪些新特性？

Alexandre Duret-Lutz; Etienne Renault; Maximilien Colange; Florian Renkin; Alexandre Gbaguidi; Philipp Schlehuber-Caissier; Thomas Medioni; Antoine Martin; Jérôme Dubois; Clément Gillard; Henrich Lauko

从 Spot 2.0 到 Spot 2.10：有哪些新特性？

计算机科学中的逻辑 2022-06-24 v1 计算机科学与博弈论

作者: Alexandre Duret-Lutz , Etienne Renault , Maximilien Colange , Florian Renkin , Alexandre Gbaguidi , Philipp Schlehuber-Caissier , Thomas Medioni , Antoine Martin , Jérôme Dubois , Clément Gillard , Henrich Lauko

在 arXiv 上查看 ↗ PDF ↗

摘要

Spot 是一个用于 LTL 和 ω-自动机操作的 C++17 库，带有命令行工具和 Python 绑定。本文总结了自 Spot 2.0 发布以来过去六年的演进，Spot 2.0 是首个支持具有任意接受条件的 ω-自动机的版本，也是最后一个在会议上介绍的版本。自那时起，Spot 扩展了许多特性，如接受条件变换、交替自动机、博弈、LTL 综合等。我们还阐明了用于存储自动机的数据结构。

关键词

Spot LTL ω-自动机接受条件变换交替自动机 LTL 综合数据结构

引用

@article{arxiv.2206.11366,
  title  = {From Spot 2.0 to Spot 2.10: What's New?},
  author = {Alexandre Duret-Lutz and Etienne Renault and Maximilien Colange and Florian Renkin and Alexandre Gbaguidi and Philipp Schlehuber-Caissier and Thomas Medioni and Antoine Martin and Jérôme Dubois and Clément Gillard and Henrich Lauko},
  journal= {arXiv preprint arXiv:2206.11366},
  year   = {2022}
}

从 Spot 2.0 到 Spot 2.10：有哪些新特性？

摘要

关键词

引用

相关论文