Paper Citation Record · LEDGER

LTL to Smaller Self-Loop Alternating Automata and Back

As of 19 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:1908.04645.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.04645 v2

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:46:32.278725Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

verified exact0
verified fuzzy27
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 70d5c121-fc22-44ec-84fb-fbc5a1de9ced · outbound

This paper cites The Hanoi Omega-Automata Forma t.

LTL to Smaller Self-Loop Alternating Automata and Back The Hanoi Omega-Automata Forma t

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.690822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e7d537a6-a420-4956-aeee-7b13895cc2db · outbound

This paper cites Eﬀective Trans- lation of LTL to Deterministic Rabin Automata: Beyond the (F, G)- Fragment.

LTL to Smaller Self-Loop Alternating Automata and Back Eﬀective Trans- lation of LTL to Deterministic Rabin Automata: Beyond the (F, G)- Fragment

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.676815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a66c856d-377a-485a-a3e0-a91add8806f5 · outbound

This paper cites LTL to B¨ uchi Au- tomata Translation: Fast and More Deterministic.

LTL to Smaller Self-Loop Alternating Automata and Back LTL to B¨ uchi Au- tomata Translation: Fast and More Deterministic

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.663180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 37e98197-d186-4644-b39f-9dd20fa4b16c · outbound

This paper cites Generic Emptiness Check for Fun and Proﬁt.

LTL to Smaller Self-Loop Alternating Automata and Back Generic Emptiness Check for Fun and Proﬁt

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.648894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation da8af6b5-ad43-487b-a999-876225221772 · outbound

This paper cites Automata withGeneralized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.

LTL to Smaller Self-Loop Alternating Automata and Back Automata withGeneralized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.634607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3fbbe7e1-2d4c-4b80-87f5-83534de325dd · outbound

This paper cites On-the-F ly Emptiness Checks for Generalized B¨ uchi Automata.

LTL to Smaller Self-Loop Alternating Automata and Back On-the-F ly Emptiness Checks for Generalized B¨ uchi Automata

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.620936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8e75979e-6460-4cd9-87be-4e2d13ab9165 · outbound

This paper cites Manipulating LTL Formulas Using Spot 1.0.

LTL to Smaller Self-Loop Alternating Automata and Back Manipulating LTL Formulas Using Spot 1.0

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.606219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 558d8352-4e5e-4591-81ca-d06ac2bd51c9 · outbound

This paper cites Spot 2.0 - A Framework for LTL and ω -Automata Manipulation.

LTL to Smaller Self-Loop Alternating Automata and Back Spot 2.0 - A Framework for LTL and ω -Automata Manipulation

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.591308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation aed30c1a-c089-4e24-8609-0f8e7156c057 · outbound

This paper cites Property Speciﬁ cation Patterns for Finite-State Veriﬁcation.

LTL to Smaller Self-Loop Alternating Automata and Back Property Speciﬁ cation Patterns for Finite-State Veriﬁcation

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.576615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 59551c50-ebc8-4767-a729-57ffc078887e · outbound

This paper cites Modalities for Model Checking: Bra nch- ing Time Logic Strikes Back.

LTL to Smaller Self-Loop Alternating Automata and Back Modalities for Model Checking: Bra nch- ing Time Logic Strikes Back

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.562646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2d723d5e-fb41-4369-b2a6-84e7d2d30838 · outbound

This paper cites Optimizing B¨ uchi Automata.

LTL to Smaller Self-Loop Alternating Automata and Back Optimizing B¨ uchi Automata

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.548668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7f50e60d-386f-411a-b00b-d7bebbf3e48b · outbound

This paper cites Fast LTL to B¨ uchi Automata Transla tion.

LTL to Smaller Self-Loop Alternating Automata and Back Fast LTL to B¨ uchi Automata Transla tion

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.534360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e19ccc54-9f1b-49e4-8eea-5b9e3bf267e4 · outbound

This paper cites Truly On-the-Fly LTL Model Check- ing.

LTL to Smaller Self-Loop Alternating Automata and Back Truly On-the-Fly LTL Model Check- ing

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.519983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 11076080-c19d-4eb4-acfc-7e31b75d9dc8 · outbound

This paper cites Holeˇ cek, T.

LTL to Smaller Self-Loop Alternating Automata and Back Holeˇ cek, T

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.505401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 711ae5df-f7d3-4927-8c75-35d2c61a27d2 · outbound

This paper cites Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

LTL to Smaller Self-Loop Alternating Automata and Back Rabinizer 4: From LTL to Your Favourite Deterministic Automaton

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.491752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0a5c8f22-d139-4c53-9abd-3abcaed17f0d · outbound

This paper cites Alternating Automata and Logics ove r Inﬁnite Words.

LTL to Smaller Self-Loop Alternating Automata and Back Alternating Automata and Logics ove r Inﬁnite Words

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.478885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d5843151-b080-4eca-a8af-55cc959fb9f7 · outbound

This paper cites ltl3tela: LTL to Small Deterministic or Nondeterminis- tic Emerson-Lei Automata.

LTL to Smaller Self-Loop Alternating Automata and Back ltl3tela: LTL to Small Deterministic or Nondeterminis- tic Emerson-Lei Automata

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.465549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bd28da83-01a4-4743-bf20-de7837d36b93 · outbound

This paper cites Weak Alternating Auto mata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time.

LTL to Smaller Self-Loop Alternating Automata and Back Weak Alternating Auto mata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.451603Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c3ec1ab9-25cc-4042-9d02-cd6273771e58 · outbound

This paper cites LTL to Deterministic Emerson-Lei Aut omata.

LTL to Smaller Self-Loop Alternating Automata and Back LTL to Deterministic Emerson-Lei Aut omata

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.438052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 227b2b8e-79b7-4afb-8bfb-c41400a4271d · outbound

This paper cites BEEM: Benchmarks for Explicit Model Checkers.

LTL to Smaller Self-Loop Alternating Automata and Back BEEM: Benchmarks for Explicit Model Checkers

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.424013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5ebec931-86e4-4f71-b23d-d6b9a7d6f386 · outbound

This paper cites Deeper Connections Between L TL and Al- ternating Automata.

LTL to Smaller Self-Loop Alternating Automata and Back Deeper Connections Between L TL and Al- ternating Automata

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.409714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 383912d9-d281-4449-a6c2-0ddca6d9b911 · outbound

This paper cites The Temporal Logic of Programs.

LTL to Smaller Self-Loop Alternating Automata and Back The Temporal Logic of Programs

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.395447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 49d714ea-7861-46fc-bcf8-284800b22db9 · outbound

This paper cites Pa rallel Ex- plicit Model Checking for Generalized B¨ uchi Automata.

LTL to Smaller Self-Loop Alternating Automata and Back Pa rallel Ex- plicit Model Checking for Generalized B¨ uchi Automata

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.379667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4c61a72f-0f19-4898-b35f-85140ef90ed1 · outbound

This paper cites Alternating Automata and the Temporal Logic of Ordinals.

LTL to Smaller Self-Loop Alternating Automata and Back Alternating Automata and the Temporal Logic of Ordinals

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.365260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c4b06036-9902-474c-997d-ef6988f7afea · outbound

This paper cites Eﬃcient B¨ uchi Automata from LTL Fo rmulae.

LTL to Smaller Self-Loop Alternating Automata and Back Eﬃcient B¨ uchi Automata from LTL Fo rmulae

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.348999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 71605d76-aa67-466d-9941-1224422ed7df · outbound

This paper cites Automata and Linear Temporal Logic: Translat ions with Transition-Based Acceptance.

LTL to Smaller Self-Loop Alternating Automata and Back Automata and Linear Temporal Logic: Translat ions with Transition-Based Acceptance

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.333869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f0806a8d-e83c-4a2e-93ab-da5afbcd52fa · outbound

This paper cites Nontraditional Applications of Automata Theory.

LTL to Smaller Self-Loop Alternating Automata and Back Nontraditional Applications of Automata Theory

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:46:32.317960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.