{"as_of":"2026-08-13T10:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:85b2e33e11cb9baa997562d4670e95b97d32c9555050ba41b54a34f1a0500bb2","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:36:04.888849Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.13412/citation-record","integrity":"/paper/2411.13412/integrity","json":"/paper/2411.13412/citation-record.json","paper":"/paper/2411.13412"},"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-12T16:36:05.941697Z","title":null,"venue":null,"work_id":"a70aa548-dd49-4b20-b8bf-6c9a40e128bf","year":null},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.604662Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:be5ed74cb83e8437b50af220dbacd469f98b0f304bd7ba241b313fcb89412c52","observation_id":"929c6093-9e1b-425e-a136-8d3bce1a0155","resolution":{"observed_at":"2026-08-12T16:36:05.946344Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.926881Z","title":null,"venue":null,"work_id":"49d89f47-3d68-4311-96eb-1c6ed4301678","year":1994},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.610802Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c3083003299e5080d6e497913be9697bb0c2ad55011d40619442d49d1e7a3210","observation_id":"6d42089b-f610-4ea2-870c-6db931b53e94","resolution":{"observed_at":"2026-08-12T16:36:05.931487Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.911588Z","title":null,"venue":null,"work_id":"c953eaba-de72-42bf-88a6-0e4ffd20d514","year":1990},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.616479Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:a20c96a91ad301304043cb3a0142e29e1271be3e9675935bee4422aa77ac9e27","observation_id":"5e3d62f3-d18a-4ac1-a3b3-8060da4b23ac","resolution":{"observed_at":"2026-08-12T16:36:05.916185Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.895738Z","title":null,"venue":null,"work_id":"526e76ea-86ec-4af6-9b5b-921b26e90295","year":1987},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.622037Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:8a7da2563e3c4190b84c090ca630ccbddee7969e676213bbed50941fe3dc84d1","observation_id":"11d28dae-c329-4e14-a988-6224f2e221e9","resolution":{"observed_at":"2026-08-12T16:36:05.900910Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.881079Z","title":null,"venue":null,"work_id":"24a2d055-ea1a-40a8-9877-9c5c710f48b1","year":2019},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.627495Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:9c30f1b3ad77a061322cb10ad4ae8a63e316f1126e87072c25233d7bc81fab72","observation_id":"b92cfd51-a6fc-4d78-ae9c-317ada88051a","resolution":{"observed_at":"2026-08-12T16:36:05.885698Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.865544Z","title":"Journal of Pure and Applied Algebra 6(3), 313–344 (1975)","venue":null,"work_id":"0d4013b5-d956-42fd-9e95-e5b4a6f9ec81","year":1975},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.633645Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:7306bbb5d5d9ef25611a819a2df4b836536ad3b0b011b5964f30b395c8460bca","observation_id":"8bb335d7-1fc0-4288-bf46-568f3834f281","resolution":{"observed_at":"2026-08-12T16:36:05.871357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10270-020-00809-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:04.939568Z","title":null,"venue":null,"work_id":"edf1435e-9b71-41e6-aa57-1bd930d5169c","year":2020},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.639086Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:4970333fcc41d5cea299a17fbd61064ab9ce7419acbcef5b06515b21fafe48fa","observation_id":"640b03ea-1e28-41ac-859b-dcb230aab590","resolution":{"observed_at":"2026-08-12T16:36:04.945638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.849429Z","title":null,"venue":null,"work_id":"b737c31d-2dca-47f4-b48d-4f690e40333b","year":2015},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.645702Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:97545cd313603f512043aa6bb2690ddb7fbd59419a74c311cba99d1f8d6f134b","observation_id":"4e602e04-f8c7-4e80-829d-e50efecbe2a9","resolution":{"observed_at":"2026-08-12T16:36:05.854306Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.833086Z","title":"In: FoSSaCS","venue":null,"work_id":"f16daa1a-a930-4d04-bda5-95edb95c0302","year":2019},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.650946Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:7118a8744f4df56a17bdae328ba659a6db4821ace9f370338cf2170beafe1b3d","observation_id":"b44050de-87e2-468f-9453-b1fa79b85a6d","resolution":{"observed_at":"2026-08-12T16:36:05.838788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:04.656498Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.656498Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:a87be3228404d811d483b6feb766e5f6422e6ee69794fa7cc96357dad4bb73e5","observation_id":"8e77e473-8fa9-4571-9df7-d205c578e3ed","resolution":{"observed_at":"2026-08-12T16:36:04.656498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:05.818167Z","title":null,"venue":null,"work_id":"9f98ec13-b904-43fa-9a08-2c3d1d8f9e7c","year":2014},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.661572Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c48d374fba793f923762a49d5232c5182c9b4f0d6a7171ddea10de312716c038","observation_id":"944233dd-b657-4d4f-b2e1-fa86fa565099","resolution":{"observed_at":"2026-08-12T16:36:05.823062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.803381Z","title":"In: IJCAI","venue":null,"work_id":"e04ad594-0d95-4d28-aba7-73c16410ac3b","year":2009},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.667999Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:2a0e133fcc86f3615f8b725ca5a79fa2c35490921548e77881f64ba516b7a010","observation_id":"5585b230-8e8b-4cec-a1a3-59e4347d3ee9","resolution":{"observed_at":"2026-08-12T16:36:05.807847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.788611Z","title":"In: Developments in Language Theory","venue":null,"work_id":"24b580b6-254b-4fac-9cce-9d76fe261a78","year":2013},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.674569Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:a08800b94538a995359215e9d4c7c02857dbc82eb78886cb7ca32bea24c90de8","observation_id":"8d4392c2-ab19-43e2-bcad-c8827fb1450c","resolution":{"observed_at":"2026-08-12T16:36:05.793334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.773724Z","title":null,"venue":null,"work_id":"0e0c52ab-31d1-46a9-bde0-dc970e50256b","year":2012},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.679847Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:5bc0b530b22bb6e30b048195d30d1f93b51fade6b959a1a834cea9ea36680288","observation_id":"6d89ba66-160c-4bce-b467-0924066767ef","resolution":{"observed_at":"2026-08-12T16:36:05.778685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.758823Z","title":"In: CONCUR","venue":null,"work_id":"768d06b9-cadf-4b47-8924-fe6cac1a2bd9","year":2009},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.684972Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:8f85a4494c396186b17454a7a22fa2066ebb5318e38748590abc38db8fd0f72d","observation_id":"841a5671-2d08-4afe-b66a-c1aa702728c1","resolution":{"observed_at":"2026-08-12T16:36:05.763927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.742747Z","title":null,"venue":null,"work_id":"e0c142da-51f7-4c68-93b1-9badf385678b","year":2019},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.690358Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:b9e97770ac14153ab06df61d327eae24c505462e07c363aaea14faba7881b9da","observation_id":"036882f0-999d-4762-9640-ee6f2af890ba","resolution":{"observed_at":"2026-08-12T16:36:05.747756Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.726806Z","title":"(eds.): Model- based testing of reactive systems, Lecture Notes in Compute r Science, vol","venue":null,"work_id":"dabf6615-62cb-4ee9-be88-eceea85f3ffd","year":2005},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.695644Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:263aba9bc262bf45e02a9fed3b8e41f000794b662ac472ba8c8f1a76b74f8711","observation_id":"e523f14e-2f7a-470f-81df-c9630f9295dc","resolution":{"observed_at":"2026-08-12T16:36:05.731938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.711762Z","title":null,"venue":null,"work_id":"088ad1bf-e322-4cc0-b7be-7deb5b13b008","year":1964},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.700326Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c290cebed9933c29e383c638f650cf5af730a2c9a240af6d5600d7da4635bba1","observation_id":"f9cd8e9f-f8fe-4708-b705-b0bd086110e6","resolution":{"observed_at":"2026-08-12T16:36:05.716501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.696505Z","title":null,"venue":null,"work_id":"6ffcdd89-5b69-400c-b387-883a1302cfdd","year":2024},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.705859Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:9212d24bba6ab57afabc681766c32b3c0c69ac960f2f0459020671b41bc7886c","observation_id":"c0a399a2-f015-4e39-a213-e236c4220ec2","resolution":{"observed_at":"2026-08-12T16:36:05.701346Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.680485Z","title":"Formal Aspects Comput","venue":null,"work_id":"723ef7fd-5fe4-428c-ad2f-8e0f3e9d59c8","year":2016},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.710745Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:4f6634e006d95d9609c2fd9d206427f32c9b98130a6490cead4e277f1ad8a3a7","observation_id":"a484adcf-9b81-4137-b42f-50c6fc2f34da","resolution":{"observed_at":"2026-08-12T16:36:05.685945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.665111Z","title":"IEEE Trans","venue":null,"work_id":"68b97c78-bec6-4d0f-893b-414a924e75c4","year":1978},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.716013Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:e0d70c9d764838b17a185ebee6b46f5626b643efa1cc5cddd2c47549670c20ee","observation_id":"651a931f-f448-44cf-9b73-9bb6ff9437ec","resolution":{"observed_at":"2026-08-12T16:36:05.670029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.650587Z","title":null,"venue":null,"work_id":"3490db02-f3d6-473e-8b0a-d39197cc440a","year":2021},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.721522Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:95a51888e924ca0397d4434327eb876cbc99bac30cc890a4b88bc4d5d8d07591","observation_id":"6ede34b2-a8f2-4ca9-b51e-efc530675f23","resolution":{"observed_at":"2026-08-12T16:36:05.655342Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.635333Z","title":null,"venue":null,"work_id":"6c547b80-b788-416d-a727-9e97d2a9ba36","year":2010},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.727088Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:e3bcbc459d6221c19b5f6a53c6ed017f39c5def765fd3e09298e78886bd54d54","observation_id":"c0af2276-e718-47be-add6-27340d05798a","resolution":{"observed_at":"2026-08-12T16:36:05.640257Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.620343Z","title":"In: Handbook o f Automata Theory (I.), pp","venue":null,"work_id":"eaca4422-7e36-4d5d-ab69-06c3e5e42f8a","year":2021},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.733377Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:f49238e0a3d2a233ac976670a1bee3547f7a7f9e47fe51c948701a73186dd4f5","observation_id":"be4238a2-673f-47e4-a89a-e40c743b4ffe","resolution":{"observed_at":"2026-08-12T16:36:05.625002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.605564Z","title":"IEEE Trans","venue":null,"work_id":"f22cd323-c198-425e-84ce-e6d6635a5702","year":1991},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.738727Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:ec9b37980003f37b3b59b10fec4c18f0431952051d274f7070d608afa2fce133","observation_id":"ba636ada-753b-4bef-96bd-acfd612e3e29","resolution":{"observed_at":"2026-08-12T16:36:05.610281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.590498Z","title":null,"venue":null,"work_id":"ad420726-8234-4593-b0bf-b4bb30cb307c","year":1975},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.744296Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:57ab44c951fd3af19e22bc251d8f74ff97bff97219aa7eb2cb392722e4075c6f","observation_id":"58f7c258-e92f-4571-8961-46efe41419d8","resolution":{"observed_at":"2026-08-12T16:36:05.595265Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.575956Z","title":"In: FoSSaCS","venue":null,"work_id":"a05d4375-19c2-4f15-aadf-594d033dd86c","year":2020},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.750866Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:fbe564cd25a2758d206d502e07bc8a8cbcddf733ba6fd1a140491dce79a71f2c","observation_id":"94de9137-b629-4ecf-a02e-7ba3e16eaf5f","resolution":{"observed_at":"2026-08-12T16:36:05.580667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.559974Z","title":"In: CMCS","venue":null,"work_id":"f77eef1b-4d45-4040-8679-0d8744992913","year":2020},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.756370Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:f74de101a9f10ec5951e0e56cfb0ea75c73faadbaff36b92cf53b2f26ec4874d","observation_id":"7ee25c78-e2b8-49b7-9124-ffcd43bfbfe5","resolution":{"observed_at":"2026-08-12T16:36:05.564898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.544502Z","title":"In: Machine Learning for Dynamic Software Analysis","venue":null,"work_id":"87c69da7-e70f-47fd-8e78-3209e7d8c49c","year":2018},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.761438Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:72754dc4e2e687b318d008e160c406ce3f5f74e594aeba9cdf08aeb5287ec116","observation_id":"35ef2684-48e8-4428-ba02-2681e1f51249","resolution":{"observed_at":"2026-08-12T16:36:05.549232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.529139Z","title":null,"venue":null,"work_id":"4f49f2df-3957-4a52-ad1e-a4fd44aff03b","year":null},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.767356Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:f7f8985eeb0a2f1f3c99f4e4a688c158d3cc9e05f9aad9876a75f831d3cb8d43","observation_id":"5c44a83d-e427-4407-b0c1-8b0584c588d1","resolution":{"observed_at":"2026-08-12T16:36:05.534329Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.513793Z","title":"In: CA V (1)","venue":null,"work_id":"b24d4340-f447-4848-8d42-5242b50ca601","year":2015},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.772044Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:ac652c49e43af7c19a02e13d74d9ad3dfa70801771fd3168dc90b3b137bd43e5","observation_id":"0fcf0f55-0d39-431c-a5af-11ccdaff2d44","resolution":{"observed_at":"2026-08-12T16:36:05.518794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.498550Z","title":"Bulletin-European Association for Theoretical Computer S cience 62, 222–259 (1997) Complete Test Suites for Automata in Monoidal Closed Catego ries 21","venue":null,"work_id":"0f87c465-5503-4527-9aba-4820b6d8ea44","year":1997},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.776593Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:f0b9c4e6e15d1f4b672991b7658f5612b5e7e8f619e6e7f8c66398b16e998b9f","observation_id":"a53fbdea-807b-4406-87cc-92e82040204a","resolution":{"observed_at":"2026-08-12T16:36:05.503393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.483950Z","title":"In: ICTAC","venue":null,"work_id":"c1ba6fb0-1b41-41e1-a66d-c2fc203e62e5","year":2010},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.781282Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c1c172ae2ca8dc69de2e273e1c748deac912fefed7280a1d8bb32e4df011f5a7","observation_id":"335fb091-7c83-4f65-adbe-10dfbb5ee7d1","resolution":{"observed_at":"2026-08-12T16:36:05.488645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.463921Z","title":"I n: LATA","venue":null,"work_id":"2eb2790f-c75f-45d6-9190-0cd0abf70991","year":null},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.786358Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:2e99b87a91ab95bce6d807fb6aac2d6a122105138b083866e31605ed389d9883","observation_id":"043a8a3c-51ad-414d-882b-950051f6bf59","resolution":{"observed_at":"2026-08-12T16:36:05.470317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.443981Z","title":"In: TACAS (2)","venue":null,"work_id":"d913c82e-7418-45fa-8f4c-c5405393e7f8","year":2024},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.792505Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:b96d8f99bde9fe1f71b6627a4bc553ce0eda09bddf3ccc6c691c2fecb54bd180","observation_id":"4179b933-b6e4-4e76-98b9-f04b958e803e","resolution":{"observed_at":"2026-08-12T16:36:05.449706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.425682Z","title":null,"venue":null,"work_id":"03062173-5edb-4353-b8f2-0209e850ccba","year":1996},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.797297Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:8e0c7884490566b8f7842931c3a10d793f7f955c9add03d1205621e7227813b8","observation_id":"9e42727b-f158-4946-9a27-9eebf5f31cbb","resolution":{"observed_at":"2026-08-12T16:36:05.431101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.408092Z","title":"Master’s the- sis, Radboud University Nijmegen, The Netherlands (2020)","venue":null,"work_id":"0604d47f-c0b7-471e-ba4c-9173fbc21021","year":2020},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.802094Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:05482d0d97de032e14e283b7e301b3d3e5b898a1198a76651c33fd041c6dd9da","observation_id":"ee800cab-4d90-4204-aa0a-9d890bd6dc1b","resolution":{"observed_at":"2026-08-12T16:36:05.414386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.392318Z","title":null,"venue":null,"work_id":"748b544b-6c12-4fc6-96d8-50402ba90063","year":2013},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.807138Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:dcc4d378e897391dbdba2e61af5ba35bb3356ad6d13aae810b6ea19ffa26f154","observation_id":"24e14e83-c94b-4540-a885-8f558cee3813","resolution":{"observed_at":"2026-08-12T16:36:05.396927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:04.812353Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.812353Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:12768bf6313a7fba6ba0ca09bda53b2ea7f0b942fd6cc11736792748e91e50e3","observation_id":"55b29928-645c-44ff-a091-3baa5dd442df","resolution":{"observed_at":"2026-08-12T16:36:04.812353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:05.376729Z","title":"In: HLDVT","venue":null,"work_id":"95311c30-f64d-4718-abc0-20a8493129a9","year":2004},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.817204Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c2c26160ac298cd40f5f2be151bb0902ab04ed1c6217cd858370c4184fae82d4","observation_id":"77f8f19e-2f46-41f2-833b-8b1bd192d770","resolution":{"observed_at":"2026-08-12T16:36:05.381767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.361005Z","title":null,"venue":null,"work_id":"11b487bf-f791-4ebe-837a-38648c64675e","year":2019},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.822157Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:77e6878ab6676bb35eddb0a19199ed44e805bf5c6fef77b323535b032523cddb","observation_id":"d7b7fcbf-d0c3-4400-b9ed-168b0597b856","resolution":{"observed_at":"2026-08-12T16:36:05.365806Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.345199Z","title":"In: POPL","venue":null,"work_id":"623c3e06-3bd7-4a72-9a28-19c6dc94d8ac","year":2017},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.826732Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:5079fa7028ee891e3314ad298653fe75ce533c5509676c69683854d7e9b0a4b9","observation_id":"b9b7044e-51be-4b3b-917f-201bbec39878","resolution":{"observed_at":"2026-08-12T16:36:05.349953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.323412Z","title":"In: Automata Studies, pp","venue":null,"work_id":"a2bc3e4b-b527-4726-a4fa-9020f0654bb2","year":1956},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.831831Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:3db1d47a18c661ec2ea3fb338ff2580d3bea1db494de8aa33ea843b465f38d13","observation_id":"b92a43b2-41b9-425f-a391-602bad02615e","resolution":{"observed_at":"2026-08-12T16:36:05.328668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.304812Z","title":", Tappler, M.: AALpy: An active automata learning library","venue":null,"work_id":"a056cecd-72c2-444c-a77a-cf88dc4d645e","year":2021},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.838334Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:8298e868cf7bb913c83e1c2256ab73cd62949cff088c8f5939c128379d3c6335","observation_id":"e6b719f1-4578-4d2b-b0a7-d42413f00c85","resolution":{"observed_at":"2026-08-12T16:36:05.310700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.285016Z","title":"In: HASE","venue":null,"work_id":"e1b38fd7-965a-492f-9056-e3abdcaca9e5","year":2014},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.843977Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:125fee3d483d6b7b091f44952d792805057add8780be77342c095c75b502978e","observation_id":"2f932859-cc82-4fd9-967c-e6994f81e2e0","resolution":{"observed_at":"2026-08-12T16:36:05.290836Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.264858Z","title":null,"venue":null,"work_id":"a9dc4a20-caae-4b52-84cc-7dc8114498ed","year":2013},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.849130Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:e0329ab717664a4fddca731b56e4c6d8bac742ebfba6ed2cf06401145702fbe6","observation_id":"a80b05f2-96f0-4e8a-9680-6f360d572877","resolution":{"observed_at":"2026-08-12T16:36:05.272369Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.234252Z","title":null,"venue":null,"work_id":"5318b4de-64ac-432d-b3b2-ba29cba20ac8","year":1959},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.853803Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:fc93d58e6260d977fe0a382e9567c5ea451061928bf4937e6e1828ebb7791263","observation_id":"d12c853f-64d1-4722-95e4-99d36cff279c","resolution":{"observed_at":"2026-08-12T16:36:05.242073Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.215196Z","title":null,"venue":null,"work_id":"9fd815d6-4980-4661-83e0-bd5ba66344c2","year":2000},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.858939Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:77ebf029972b0f4328db9da8603d4ed636665d699bb91422b636ae2add317935","observation_id":"3c19cfac-369d-40c1-b932-bb9551b12b08","resolution":{"observed_at":"2026-08-12T16:36:05.220904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.190862Z","title":null,"venue":null,"work_id":"4b49fba7-4482-4221-aa47-e8b378c70e79","year":2011},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.863986Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:d4694ee614c41ed20059b08fa0631cda0ca4f5f8c06e030ed68b734c210b4239","observation_id":"35d64132-b2e7-46af-a81f-b64332a54bb7","resolution":{"observed_at":"2026-08-12T16:36:05.197965Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.168993Z","title":", Larsen, K.G.: L*-based learning of Markov decision processes (extended version)","venue":null,"work_id":"6bbdd3f7-5be8-431b-b991-df97b24f8710","year":2021},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.868630Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:9e5d0ef67893a2a0d724600dfa115effb9a3285cbdc8ac57ddbdc2f9bcbfbf28","observation_id":"471821ee-8a72-40a4-88d9-1f75b703508c","resolution":{"observed_at":"2026-08-12T16:36:05.176607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.146374Z","title":"In: LICS","venue":null,"work_id":"b9d8ed6b-b416-4163-91f5-d758449c5632","year":2020},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.874077Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:b5aa541f239a7ef9fb0adeb9f9266d8a8cd0db90bb461ab98c1e1b09e555c290","observation_id":"ec712b96-bb85-413b-a1cc-020ad4e7ad0a","resolution":{"observed_at":"2026-08-12T16:36:05.152561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.121630Z","title":null,"venue":null,"work_id":"808d92a1-40bd-413d-b07c-556c33552669","year":2017},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.879200Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:5383762e8614d56e0558607e4ad3addd7c4ab1efab26c2e3ae98fd7ec21694d8","observation_id":"24fe5a7d-8fc2-41c5-b0e8-abf2c96e9a42","resolution":{"observed_at":"2026-08-12T16:36:05.127624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19405","last_updated":"2025-06-11T20:09:48Z","snapshot_observed_at":"2026-08-12T22:15:17.152057Z","submitted_at":"2024-10-25T09:08:47Z","title":"New Fault Domains for Conformance Testing of Finite State Machines","version":2},"cited_work":{"arxiv_id":"2410.19405","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.19405","snapshot_observed_at":"2026-08-12T16:36:04.964159Z","title":"New Fault Domains for Conformance Testing of Finite State Machines","venue":"cs.FL","work_id":"59f7a2bc-c8a0-48f1-adc7-44a3e3ece3fc","year":2024},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.883837Z"},"links":{"cited_paper":"/paper/2410.19405","citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:30285cb46b3685c4bc912d34cf68f3aeca04eba595ddd227049e8589edbe03ec","observation_id":"0f0d797c-f279-48a7-801c-c8972b2e6249","resolution":{"observed_at":"2026-08-12T16:36:04.970425Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:36:05.099951Z","title":null,"venue":null,"work_id":"2829364f-ba7a-4cd4-b218-762ef3d1aece","year":1973},"citing_paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:04.888849Z"},"links":{"citing_paper":"/paper/2411.13412"},"observation_digest":"sha256:c955203c6aace9f5cc957c7509b7d8ef60ccc8847af8fcadd750e1be29a58476","observation_id":"f33caca3-c356-4c1e-b36d-7bf87d20169c","resolution":{"observed_at":"2026-08-12T16:36:05.106710Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13412","last_updated":"2025-03-17T15:09:09Z","latest_version":3,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-12T16:23:54.445075Z","submitted_at":"2024-11-20T15:52:27Z","title":"Complete Test Suites for Automata in Monoidal Closed Categories"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":2,"verified_fuzzy":26},"total_outbound_references":54},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2411.13412."}