Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:46:32.278725Z
Paper Citation Record · LEDGER
LTL to Smaller Self-Loop Alternating Automata and Back
As of 16 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-16T06:30:59.297886+00:00.
Observation e7d537a6-a420-4956-aeee-7b13895cc2db · outbound
This paper cites Effective Trans- lation of LTL to Deterministic Rabin Automata: Beyond the (F, G)- Fragment.
LTL to Smaller Self-Loop Alternating Automata and Back Effective 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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation 37e98197-d186-4644-b39f-9dd20fa4b16c · outbound
This paper cites Generic Emptiness Check for Fun and Profit.
LTL to Smaller Self-Loop Alternating Automata and Back Generic Emptiness Check for Fun and Profit
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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation aed30c1a-c089-4e24-8609-0f8e7156c057 · outbound
This paper cites Property Specifi cation Patterns for Finite-State Verification.
LTL to Smaller Self-Loop Alternating Automata and Back Property Specifi cation Patterns for Finite-State Verification
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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation 0a5c8f22-d139-4c53-9abd-3abcaed17f0d · outbound
This paper cites Alternating Automata and Logics ove r Infinite Words.
LTL to Smaller Self-Loop Alternating Automata and Back Alternating Automata and Logics ove r Infinite 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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation c4b06036-9902-474c-997d-ef6988f7afea · outbound
This paper cites Efficient B¨ uchi Automata from LTL Fo rmulae.
LTL to Smaller Self-Loop Alternating Automata and Back Efficient 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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.