{"as_of":"2026-08-16T15:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:859889d76c6b8d1f52b10da074b77019089bda2121e4628021979e1700420492","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:46:32.278725Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.04645/citation-record","integrity":"/paper/1908.04645/integrity","json":"/paper/1908.04645/citation-record.json","paper":"/paper/1908.04645"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.686374Z","title":"The Hanoi Omega-Automata Forma t","venue":null,"work_id":"f125ce83-459c-4b5e-8cbe-371d3267baac","year":2015},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.153658Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:9ad1d11514ddc2088b32474a1b94a383ca2a98db9ba4399da414fd804b772268","observation_id":"70d5c121-fc22-44ec-84fb-fbc5a1de9ced","resolution":{"observed_at":"2026-08-14T13:46:32.690822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.672290Z","title":"Effective Trans- lation of LTL to Deterministic Rabin Automata: Beyond the (F, G)- Fragment","venue":null,"work_id":"baf0efa1-0184-40b5-b343-b269246cc2e5","year":2013},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.159206Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:60b837925b7cd45d9e6d7ca9fe18956ba1647d301e7737a6e9e1366382147ad7","observation_id":"e7d537a6-a420-4956-aeee-7b13895cc2db","resolution":{"observed_at":"2026-08-14T13:46:32.676815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.658222Z","title":"LTL to B¨ uchi Au- tomata Translation: Fast and More Deterministic","venue":null,"work_id":"b0ec8f4e-3355-4eec-a886-9b03aebefb40","year":2012},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.164696Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:2f57a9cff993279a714691bfc63d7e4d16f3658fe5b79dde61945a8425e98de6","observation_id":"a66c856d-377a-485a-a3e0-a91add8806f5","resolution":{"observed_at":"2026-08-14T13:46:32.663180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.644049Z","title":"Generic Emptiness Check for Fun and Profit","venue":null,"work_id":"301556c6-64a7-45e1-80a6-c9cea7efabe3","year":null},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.170636Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:b839138636ae03b79c20f1163f27beccc4e60458fd6e2df495f5bb0390b3fd7c","observation_id":"37e98197-d186-4644-b39f-9dd20fa4b16c","resolution":{"observed_at":"2026-08-14T13:46:32.648894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.630085Z","title":"Automata withGeneralized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis","venue":null,"work_id":"2f74e1e0-9dc1-4bfc-b722-f546d544c796","year":2013},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.175305Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:4de7d2bccd749c45995ed570e70bd1f7e3f750f48e6f034077a67b1dd89d9c0a","observation_id":"da8af6b5-ad43-487b-a999-876225221772","resolution":{"observed_at":"2026-08-14T13:46:32.634607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.615515Z","title":"On-the-F ly Emptiness Checks for Generalized B¨ uchi Automata","venue":null,"work_id":"353de509-af24-428a-82a0-7a6edf078ced","year":2005},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.180797Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:26222062171a18c617bcd6bb9b1fe9a7ad716e50de2b2eedde5e080ca8b62677","observation_id":"3fbbe7e1-2d4c-4b80-87f5-83534de325dd","resolution":{"observed_at":"2026-08-14T13:46:32.620936Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.600637Z","title":"Manipulating LTL Formulas Using Spot 1.0","venue":null,"work_id":"6ff719ca-f3e0-4102-8933-56e5d8463371","year":2013},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.185576Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:7d7a06e248aab9a603678b4db3dae80c72b08a55373c268c74d54a177f1183e2","observation_id":"8e75979e-6460-4cd9-87be-4e2d13ab9165","resolution":{"observed_at":"2026-08-14T13:46:32.606219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.586709Z","title":"Spot 2.0 - A Framework for LTL and ω -Automata Manipulation","venue":null,"work_id":"97be5da3-a355-4458-a285-f0f1fe88438e","year":2016},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.191166Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:d4bcb63e16d324c15f7b1916c663463cc7115cfa06ff4956167ba209a1a72248","observation_id":"558d8352-4e5e-4591-81ca-d06ac2bd51c9","resolution":{"observed_at":"2026-08-14T13:46:32.591308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.571569Z","title":"Property Specifi cation Patterns for Finite-State Verification","venue":null,"work_id":"d170b39c-b00f-453a-9a21-5b3a42baab45","year":1998},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.196074Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:2c49736d1544185d4fb8c19c9613f00b4b1b802c12474186bb1f634f6d9f7422","observation_id":"aed30c1a-c089-4e24-8609-0f8e7156c057","resolution":{"observed_at":"2026-08-14T13:46:32.576615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.557827Z","title":"Modalities for Model Checking: Bra nch- ing Time Logic Strikes Back","venue":null,"work_id":"25cefe89-5e20-4913-97d2-30d8a0cbc248","year":1987},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.200496Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:354543a4bcc68b55d65eb34108213f4ccb22ee37efe48bd6bc6d6b36c5460a24","observation_id":"59551c50-ebc8-4767-a729-57ffc078887e","resolution":{"observed_at":"2026-08-14T13:46:32.562646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.544136Z","title":"Optimizing B¨ uchi Automata","venue":null,"work_id":"40dedcef-9d97-4003-8506-adea409f39a3","year":2000},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.205004Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:a8c9184e7c6a1e2e5ff7d40f5403c30dcc13f8ef213ac6dc5ccc8d6d1d14f4b0","observation_id":"2d723d5e-fb41-4369-b2a6-84e7d2d30838","resolution":{"observed_at":"2026-08-14T13:46:32.548668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.529553Z","title":"Fast LTL to B¨ uchi Automata Transla tion","venue":null,"work_id":"30bdf235-e9b6-4f2b-807d-d1221bd1f0b1","year":2001},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.209716Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:27367e9e0c5babd4bf0accec808939b235c57e5b1214ecb2cebcc2d668cebe89","observation_id":"7f50e60d-386f-411a-b00b-d7bebbf3e48b","resolution":{"observed_at":"2026-08-14T13:46:32.534360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.515287Z","title":"Truly On-the-Fly LTL Model Check- ing","venue":null,"work_id":"8d8dbbf3-3f90-4127-8f0a-f4bdc93201b9","year":2005},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.214120Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:c03b92481aae2551e3826e542491eb83d98ae27f7f9e6c63d9e4d0235c9c9ff4","observation_id":"e19ccc54-9f1b-49e4-8eea-5b9e3bf267e4","resolution":{"observed_at":"2026-08-14T13:46:32.519983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.500738Z","title":"Holeˇ cek, T","venue":null,"work_id":"66a25c89-4e95-4922-93b2-9b0ccb595f9a","year":2004},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.218982Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:66288748d0eed6165ceab719cd14b142c9c7726faee06b3bd08f0bd0f5e142c2","observation_id":"11076080-c19d-4eb4-acfc-7e31b75d9dc8","resolution":{"observed_at":"2026-08-14T13:46:32.505401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.487410Z","title":"Rabinizer 4: From LTL to Your Favourite Deterministic Automaton","venue":null,"work_id":"d827863f-acbc-48a6-bacb-240fc3dd63c9","year":2018},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.223326Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:46acccd6de6f06614e39a01cae3a935e1fa0d1251b2c7d4eb7bcdc1532627f98","observation_id":"711ae5df-f7d3-4927-8c75-35d2c61a27d2","resolution":{"observed_at":"2026-08-14T13:46:32.491752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.474442Z","title":"Alternating Automata and Logics ove r Infinite Words","venue":null,"work_id":"5c8386a8-7db8-4c00-817d-cde383f0017e","year":2000},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.227378Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:a4d919459b74763aaea2caf671f625b82d625740bae35a86a2a6c7ac28543570","observation_id":"0a5c8f22-d139-4c53-9abd-3abcaed17f0d","resolution":{"observed_at":"2026-08-14T13:46:32.478885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.460904Z","title":"ltl3tela: LTL to Small Deterministic or Nondeterminis- tic Emerson-Lei Automata","venue":null,"work_id":"b6f70a60-a7a8-4b95-9e53-706a1816cb60","year":null},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.231676Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:d47da744c8f5b6061649b6071c476a8a8976999119c03e0a4747fe650101678e","observation_id":"d5843151-b080-4eca-a8af-55cc959fb9f7","resolution":{"observed_at":"2026-08-14T13:46:32.465549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.447139Z","title":"Weak Alternating Auto mata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time","venue":null,"work_id":"363cc20a-4829-4a3c-89a7-3094ff2692e2","year":1988},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.236225Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:7111f46193dfe24acf289da08a1a7da26fdfcf79ac6e08aed30f6ca2a64aea38","observation_id":"bd28da83-01a4-4743-bf20-de7837d36b93","resolution":{"observed_at":"2026-08-14T13:46:32.451603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.433706Z","title":"LTL to Deterministic Emerson-Lei Aut omata","venue":null,"work_id":"88b5e74d-5e3d-41cb-9e45-346f76127b3c","year":2017},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.240515Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:cfed76199ee03ac3da50053d2643ee506c169392aaa3ca0a20d78c3410bf5feb","observation_id":"c3ec1ab9-25cc-4042-9d02-cd6273771e58","resolution":{"observed_at":"2026-08-14T13:46:32.438052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.419675Z","title":"BEEM: Benchmarks for Explicit Model Checkers","venue":null,"work_id":"ac4caa47-e850-4b9e-a87d-5867ad92767c","year":2007},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.245366Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:31de4a2e0afc4f075e7cae64aa118f2ce4748add18655a6a3144be1400998cb3","observation_id":"227b2b8e-79b7-4afb-8bfb-c41400a4271d","resolution":{"observed_at":"2026-08-14T13:46:32.424013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.405056Z","title":"Deeper Connections Between L TL and Al- ternating Automata","venue":null,"work_id":"e4de0f26-d60e-4104-91a0-45bb56f282e5","year":2005},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.249669Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:cdda6e431ec3b94710b9d43805d71d738b08f0e3bdb4dc0a567f10c2784996e3","observation_id":"5ebec931-86e4-4f71-b23d-d6b9a7d6f386","resolution":{"observed_at":"2026-08-14T13:46:32.409714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.390139Z","title":"The Temporal Logic of Programs","venue":null,"work_id":"34d13fbb-2d46-4096-bc38-63e882941807","year":1977},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.254280Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:9c3b0f38121fff2ac64e2be05ae84362a38a446efb951f59fab8fd6e8da8d540","observation_id":"383912d9-d281-4449-a6c2-0ddca6d9b911","resolution":{"observed_at":"2026-08-14T13:46:32.395447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.374855Z","title":"Pa rallel Ex- plicit Model Checking for Generalized B¨ uchi Automata","venue":null,"work_id":"cfd9dd20-6e95-4356-a039-f97bd82f0ec2","year":2015},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.259177Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:4a3f7e94966f16ae113cead6a1a21238f7e50ec0cebed3b65fe8927ff8f64b69","observation_id":"49d714ea-7861-46fc-bcf8-284800b22db9","resolution":{"observed_at":"2026-08-14T13:46:32.379667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.360569Z","title":"Alternating Automata and the Temporal Logic of Ordinals","venue":null,"work_id":"6028a419-f3ed-4ce4-931c-c568453881bd","year":1997},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.264699Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:237cc443583d4941a7d9a41f2ec93dbf01db142ebdc5071d93547a5c175aa76b","observation_id":"4c61a72f-0f19-4898-b35f-85140ef90ed1","resolution":{"observed_at":"2026-08-14T13:46:32.365260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.344180Z","title":"Efficient B¨ uchi Automata from LTL Fo rmulae","venue":null,"work_id":"32635952-ea55-4f52-85b8-945e03a75640","year":2000},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.269478Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:5e468e8428424482cf0e4131136d6cc901cc1ca698dfa68a324b49aff89b13bd","observation_id":"c4b06036-9902-474c-997d-ef6988f7afea","resolution":{"observed_at":"2026-08-14T13:46:32.348999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.328921Z","title":"Automata and Linear Temporal Logic: Translat ions with Transition-Based Acceptance","venue":null,"work_id":"7cf7ab02-64ca-4fcf-bc99-a625e59635dd","year":2006},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.273999Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:aeec8b5f6243310f5822ceb71f2dfd58da9c3d973b3b0884bbaa4a0a76054eec","observation_id":"71605d76-aa67-466d-9941-1224422ed7df","resolution":{"observed_at":"2026-08-14T13:46:32.333869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:46:32.310635Z","title":"Nontraditional Applications of Automata Theory","venue":null,"work_id":"3e68af1a-26bb-4a54-bc76-a81eabc2d604","year":1994},"citing_paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T13:46:32.278725Z"},"links":{"citing_paper":"/paper/1908.04645"},"observation_digest":"sha256:13e78677bc5ab63d52fe4b5da9bcd4ce32a9dfe75ec6f9f6010201dc31b5883d","observation_id":"f0806a8d-e83c-4a2e-93ab-da5afbcd52fa","resolution":{"observed_at":"2026-08-14T13:46:32.317960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04645","last_updated":"2019-10-16T17:04:28Z","latest_version":2,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-16T14:19:06.514821Z","submitted_at":"2019-08-13T13:54:12Z","title":"LTL to Smaller Self-Loop Alternating Automata and Back"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}