mlsanityData to 7 Oct 2026

From Spot 2.0 to Spot 2.10: What's New?

arXiv 2206.11366 ↗First posted 20 Jun 2022cs.LO cs.GTcited by 20

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 20 papers in the map (data through 7 Oct 2026). First posted on arXiv 20 Jun 2022.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2023: 3; 2024: 6; 2025: 7; 2026: 4.

20 papers.

Sort:

By area:

  1. 2023Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environmentscited by 52
  2. 2024LTL-Constrained Policy Optimization with Cycle Experience Replaycited by 10
  3. 2024NatSGD: A Dataset with Speech, Gestures, and Demonstrations for Robot Learning in Natural Human-Robot Interactioncited by 4
  4. 2023Model Checking Strategies from Synthesis Over Finite Tracescited by 3
  5. 2024NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesiscited by 3
  6. 2025Language Model as Planner and Formalizer under Constraintscited by 3
  7. 2024Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalencecited by 2
  8. 2025Learning Probabilistic Temporal Logic Specifications for Stochastic Systemscited by 2
  9. 2023On Generating Explanations for Reinforcement Learning Policies: An Empirical Studycited by 1
  10. 2024Hyper Strategy Logiccited by 1
  11. 2024Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mambacited by 1
  12. 2025RNN Generalization to Omega-Regular Languagescited by 1
8 more
  1. 2025LTLf Learning Meets Boolean Set Covercited by 1
  2. 2026Warm Starting State-Space Models with Automata Learningcited by 1
  3. 2025Decentralized Planning Using Probabilistic Hyperpropertiescited by 0
  4. 2025NatSGLD: A Dataset with Speech, Gesture, Logic, and Demonstration for Robot Learning in Natural Human-Robot Interactioncited by 0
  5. 2025Quantitative Verification of Omega-regular Properties in Probabilistic Programmingcited by 0
  6. 2026Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learningcited by 0
  7. 2026Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Modelscited by 0
  8. 2026As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculturecited by 0