{"as_of":"2026-08-16T20:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:159a485ff52b470ccc02b354a33c9d814f0fb8164b9f61b035b29d07602bf8c6","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T04:33:44.048503Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"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/2508.03627/citation-record","integrity":"/paper/2508.03627/integrity","json":"/paper/2508.03627/citation-record.json","paper":"/paper/2508.03627"},"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-06T04:33:50.997539Z","title":null,"venue":null,"work_id":"71703257-70bb-49d8-9221-097a5373521b","year":2013},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.142295Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:1a91029755af913d693743725ff984f529afc6beee83e544a2b1c705387c6fd2","observation_id":"cf8ecdb3-198f-4f99-aafb-3d81ece6c493","resolution":{"observed_at":"2026-08-06T04:33:51.088533Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.233671Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.233671Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:74c55efdda39702a2c8f65d60081a8985e1b0575d2475fa7a6ef8f4ac45c0fa7","observation_id":"1d74834f-f7ab-4c36-8f5c-54d07fbf3645","resolution":{"observed_at":"2026-08-06T04:33:40.233671Z","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-06T04:33:50.818730Z","title":"Henzinger","venue":null,"work_id":"aa4b9e86-a836-4562-b90a-c919e69f9c55","year":1996},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.304311Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:8c2658b549db802516bda09e5b55ba620b7bd3e4a83a514ea641bb5023889549","observation_id":"69c4db98-4a75-4136-ad12-b62fefe95cf2","resolution":{"observed_at":"2026-08-06T04:33:50.894158Z","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-06T04:33:50.658939Z","title":"Henzinger","venue":null,"work_id":"65f872b7-d959-4ed8-ac5d-cb3add3f18e9","year":1999},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.395886Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:88d1be186e532879b36bcdd7069e268bff2596bbdab0014c2f918ec28fb6d2f5","observation_id":"5cb78572-d59c-46b1-9384-dea167be07fb","resolution":{"observed_at":"2026-08-06T04:33:50.752128Z","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-06T04:33:50.504038Z","title":"Learning real-time automata","venue":null,"work_id":"b579d443-bf4b-4aef-85bb-58cb1fdcd4cf","year":2021},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.472659Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:38a2d362a58d37294c48064a669b2d33477c91f542cb367eaa6da6953d9f851f","observation_id":"ccd20edb-16e4-4128-b93d-16360f2824c3","resolution":{"observed_at":"2026-08-06T04:33:50.593880Z","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-06T04:33:50.328206Z","title":"LTL reactive synthesis with a few hints","venue":null,"work_id":"9d94f806-b0a2-4936-9681-fef6f05d3563","year":2023},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.524689Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:bee091384da9ae1a2a29cd06927cbd174aa2ec4ff70a02039a8d1370badeff3f","observation_id":"f5e50d3a-6a5f-4166-a4c1-1bcec6d59c5c","resolution":{"observed_at":"2026-08-06T04:33:50.424008Z","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":{"arxiv_id":"2403.02019","last_updated":"2025-08-19T12:58:06Z","snapshot_observed_at":"2026-08-16T14:13:05.546257Z","submitted_at":"2024-03-04T13:20:52Z","title":"Active Learning of Mealy Machines with Timers","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.02019","snapshot_observed_at":"2026-08-06T04:33:40.599491Z","title":"P \\' e rez, Ga \\\" e tan Staquet, and Frits W","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.599491Z"},"links":{"cited_paper":"/paper/2403.02019","citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:6525589f6b8151b08ee3954a68304295cfb886c3c5a449892e0e89c1459223e4","observation_id":"64bfeda0-2ac6-4dbb-9451-cd6b87a1e1d0","resolution":{"observed_at":"2026-08-06T04:33:40.599491Z","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-06T04:33:50.059013Z","title":null,"venue":null,"work_id":"6a4a3d64-1f00-4058-a6ab-7e27b1934fb2","year":1971},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.693462Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:d16ef8917a3232f56edb0f8a83fa30fa57e5c9731c37430d562b2db4a8f221cc","observation_id":"ada408cb-a283-46f0-98f0-ea7ec5cd9412","resolution":{"observed_at":"2026-08-06T04:33:50.194505Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T04:33:49.749139Z","title":"g Cornanguer, Christine Largou \\","venue":null,"work_id":"5703e709-95df-4df6-a6b7-079678e898b7","year":2022},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.775987Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:bfe1390e4281b592cacedf821734b20ee8b148c3cdc75ddb89fde6f7dc808150","observation_id":"cb879af5-4d5e-4479-9720-cd5d1864ecda","resolution":{"observed_at":"2026-08-06T04:33:49.900622Z","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-06T04:33:49.450295Z","title":"Incremental regular inference","venue":null,"work_id":"8b81d4f4-da71-476b-b2fd-067196c0ef57","year":1996},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.855638Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:7461402a939fef1c44a73915f9d580ca693d7c9f2eeafb96577e0f4308c0270d","observation_id":"d129d69f-eaf7-4036-92ad-c5bf083eb10a","resolution":{"observed_at":"2026-08-06T04:33:49.602153Z","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-06T04:33:49.189830Z","title":"Mark Gold","venue":null,"work_id":"9160878a-0d1c-4d3f-9ff0-495395862f44","year":1967},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:40.939579Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:f7e09d0903474216684ab8da86aa68b8b41b17e56b65b3e36b488f74a3095d07","observation_id":"c4a77e11-4cb6-4ffe-8649-2da99cc616ed","resolution":{"observed_at":"2026-08-06T04:33:49.322428Z","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-06T04:33:48.978971Z","title":"Mark Gold","venue":null,"work_id":"63955c54-5c16-4da9-8c6b-ec74e7036c7f","year":1978},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.044262Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:04259fe2c9f80c175f038473c2d02dbe4e70d969bd2ce26d3250a8724620d282","observation_id":"af0849a1-6cc4-42f5-b4bf-541c0ae5f99e","resolution":{"observed_at":"2026-08-06T04:33:49.040161Z","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-06T04:33:48.817403Z","title":"Learning of event-recording automata","venue":null,"work_id":"294a3231-cf95-4766-a826-1aa6b443e37a","year":2010},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.122406Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:0dbfe154a6516ff928992a10ddbe3bd5eda4eb09dd54e2a57d1025eec2f28c67","observation_id":"1e14874c-4e88-4272-a418-72ec4d82fa8a","resolution":{"observed_at":"2026-08-06T04:33:48.906684Z","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-06T04:33:48.653811Z","title":"Inference of event-recording automata using timed decision trees","venue":null,"work_id":"75c936b8-3bb6-48ae-af9d-67af9b1661a6","year":2006},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.225989Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:7d1a020b273feb0d86ffc2d7d94d7253df2024269e03cd7cdfb0f2c838a01608","observation_id":"6df6df71-44d2-4fdf-8877-0cd28ce7bf8b","resolution":{"observed_at":"2026-08-06T04:33:48.751384Z","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-06T04:33:48.445272Z","title":"Active learning of timed automata with unobservable resets","venue":null,"work_id":"e3fb21f0-1840-422b-9511-81f2bcb88df9","year":2020},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.306885Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:38bd85509d622f6d8b14629d60a7f8e3bba871cdf49c04641cf38010c0937c34","observation_id":"9cebe77d-6265-4a0f-91bc-f40e2a782def","resolution":{"observed_at":"2026-08-06T04:33:48.563724Z","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-06T04:33:48.229425Z","title":"A scenario-based methodology for conducting requirements elicitation","venue":null,"work_id":"2c95dd52-8c69-45c5-9e49-de2a865c4cd1","year":1990},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.397644Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:6212efebd9cdea89d1dd431f58b0a42f5434558b1eab5d00402604041a4a55c9","observation_id":"75cef7e3-6f55-4d8f-a72e-708b2be3b138","resolution":{"observed_at":"2026-08-06T04:33:48.361547Z","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-06T04:33:48.042007Z","title":"UPPAAL in a nutshell","venue":null,"work_id":"a744bfe2-410e-46e6-ad96-174bb6b1f86f","year":1997},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.555201Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:6a8a0bb7a61ec72efc1dba11fcf0cf9b7b8b8418cbd854203e82bca8a092a070","observation_id":"58e64994-924d-46a8-b558-b75b6a54e76e","resolution":{"observed_at":"2026-08-06T04:33:48.146162Z","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-06T04:33:47.829259Z","title":"An efficient algorithm for learning event-recording automata","venue":null,"work_id":"c4845f3e-7b00-4b4b-9b4e-0e33df652a58","year":2011},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.674104Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:3e4d8e34fac0e348c824a07e60bf638743d676ed61acea7b122859aa8f0b2079","observation_id":"2f0b31a3-60eb-4e80-ad4e-f22edd1fdce7","resolution":{"observed_at":"2026-08-06T04:33:47.939608Z","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-06T04:33:47.644840Z","title":"Greybox learning of languages recognizable by event-recording automata","venue":null,"work_id":"940033a9-6f79-4efa-aea8-de0d78c9f9c7","year":2024},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.810640Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:3611b6138c81d0883fbbcbb5de9bfa8179c6319bb9d0abbafbf16986603ef729","observation_id":"bcb9d881-285f-486a-9d9e-b98ebf69e28f","resolution":{"observed_at":"2026-08-06T04:33:47.725252Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:41.973624Z","title":"Inferring regular languages in polynomial updated time","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:41.973624Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:d0543fe15263d7c235259a43253ee75b38cd0699ece5984d9ea73d83bdd0724f","observation_id":"4b501a32-023a-4958-bb41-d816c9430871","resolution":{"observed_at":"2026-08-06T04:33:41.973624Z","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-06T04:33:47.315157Z","title":"Timed k-tail: Automatic inference of timed automata","venue":null,"work_id":"4d3598d4-4ba4-4900-8738-97c79e9d999c","year":2017},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.121762Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:f2eee2cd1da5988d608e213957179799ac07ec655e357ae70ef9decd925fa4b8","observation_id":"d7ff9972-5d25-47da-afc2-3dcbfcc0b80f","resolution":{"observed_at":"2026-08-06T04:33:47.517716Z","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-06T04:33:47.150409Z","title":"Aichernig, Kim Guldstrand Larsen, and Florian Lorber","venue":null,"work_id":"55bfc5c1-993f-46b2-afef-17b8d38f348d","year":2019},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.282397Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:d630067c7f14464930c874696e59e19663c9c8157e208821d71fb09a5433e043","observation_id":"ea574e7a-fa3f-4768-8dbf-2ab4c1f890f9","resolution":{"observed_at":"2026-08-06T04:33:47.239293Z","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-06T04:33:46.889782Z","title":"Aichernig, and Florian Lorber","venue":null,"work_id":"032430be-ba5e-47e9-a55d-a354ef6dfb12","year":2022},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.499717Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:1de2e4f86e6577d23b44e167eeb74f74a28a09aa1710e4a37780b64a8307d21d","observation_id":"45877b1e-14ce-4dd7-b403-e31a167f52fa","resolution":{"observed_at":"2026-08-06T04:33:46.993414Z","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-06T04:33:46.680587Z","title":"Learning deterministic multi-clock timed automata","venue":null,"work_id":"bffebf31-dc24-431a-a590-3f2566e01d67","year":2024},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.671591Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:e3190fac0d6198cdf3d2008233b8cf1f94b219acaddcddf4b669c5daf23ec52b","observation_id":"4034ce9a-2f7a-446c-93bb-3df1e740a514","resolution":{"observed_at":"2026-08-06T04:33:46.775782Z","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-06T04:33:46.460037Z","title":"Vaandrager","venue":null,"work_id":"0d3cfa67-890f-41ea-8c41-b559449bb2eb","year":2017},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.811212Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:20f593b8bfab39f1546f212d7707959377c7f910a4fe4fb0b222bdf88539287e","observation_id":"8f852f79-4267-4f9c-b2b2-ab0002af7369","resolution":{"observed_at":"2026-08-06T04:33:46.575021Z","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-06T04:33:46.194986Z","title":"Vaandrager, Masoud Ebrahimi, and Roderick Bloem","venue":null,"work_id":"c22392e2-6cb9-4179-9aba-50e77b021679","year":2023},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:42.987474Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:484427b2d485add5f63c3bdeb9faac43269e5f63301c11779fe488e128041b16","observation_id":"c34bf04c-306a-4cc2-af35-3e4a1d40b82d","resolution":{"observed_at":"2026-08-06T04:33:46.306785Z","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-06T04:33:45.875947Z","title":"Vaandrager, Bharat Garhewal, Jurriaan Rot, and Thorsten Wi mann","venue":null,"work_id":"967d1156-514f-439d-9367-18578a7901f9","year":2022},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:43.151191Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:acc0f6a836661f669426b23618393d03ceb950e2b7b5f658a9287efa260d569f","observation_id":"fbf8a7a3-6024-41f9-b83a-72a8cf6d5ba9","resolution":{"observed_at":"2026-08-06T04:33:46.047894Z","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-06T04:33:45.553490Z","title":"Polynomial distinguishability of timed automata","venue":null,"work_id":"9eb5bd12-3d5e-46d2-ba32-49580406cd14","year":2008},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:43.298030Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:3859a47b735b64714626be3b3137e5eda7d1b5c238c61c70e91a0adf514b8e92","observation_id":"740d893a-6556-4e35-be3c-75a88027974a","resolution":{"observed_at":"2026-08-06T04:33:45.729127Z","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-06T04:33:45.200072Z","title":"One-clock deterministic timed automata are efficiently identifiable in the limit","venue":null,"work_id":"0b745ca7-521a-4e7b-a2da-10eef6778ed0","year":2009},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:43.489592Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:181183fd5a148f688d7a902cd2f8e4848e61a663554a7c13d6133565f95f618b","observation_id":"ad965ee9-460a-4cb4-9067-700ca8062bdf","resolution":{"observed_at":"2026-08-06T04:33:45.360605Z","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-06T04:33:44.913359Z","title":"A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data","venue":null,"work_id":"92d25102-8621-4c9f-93d9-faeb854a3eb3","year":2010},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:43.659391Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:be2268179eb00e0ab70fa7b4ed9a81e83ec23b7fdfb0506a3597880c0ac413c6","observation_id":"92e9028e-db21-413e-9b0c-7502df9125eb","resolution":{"observed_at":"2026-08-06T04:33:45.042883Z","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-06T04:33:44.535804Z","title":"Active learning of deterministic timed automata with myhill-nerode style characterization","venue":null,"work_id":"9e1f6666-977f-4d3a-8b06-0beaee51757b","year":2023},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:43.881021Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:9adfdf06a1b6964c4b0bb3f8e9a0b50a5961f1f122f3cd9d1dd5bef2adc8f5a3","observation_id":"82aa00bb-c5b1-4ada-a5dc-ef8ac3c533b8","resolution":{"observed_at":"2026-08-06T04:33:44.732181Z","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-06T04:33:44.243245Z","title":"Active learning of one-clock timed automata using constraint solving","venue":null,"work_id":"5b11038e-b528-4c7d-95e8-4dc5da45e27f","year":2022},"citing_paper":{"arxiv_id":"2508.03627","last_updated":"2025-08-05T16:45:48Z","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:44.048503Z"},"links":{"citing_paper":"/paper/2508.03627"},"observation_digest":"sha256:0886fc6f167eb9e2d279107894c9b32c2806b19ca10f5c19e31da62cdb5aff72","observation_id":"7410b9e4-0f7c-4d8e-b434-9c07c2d4da2d","resolution":{"observed_at":"2026-08-06T04:33:44.369540Z","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":"2508.03627","last_updated":"2025-08-05T16:45:48Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-06T04:33:34.998885Z","submitted_at":"2025-08-05T16:45:48Z","title":"Learning Event-recording Automata Passively"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":32},"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 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2508.03627."}