{"as_of":"2026-08-09T03:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:64ef02cae5393af1143ddf2143f4b8c1c8378a2fd9db33b71fb5f17247ed00c1","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-08T06:32:00.761636+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:e04490bca5aa9aba969e8eb27988a7df39695bf143cba6b97717e49efad64049","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:bf212e1930c39a08fbfb514ce565f55e61a8726c6d43e5fb0b33b2a433c47b01","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:0da4079e99bb80c594a882c640fca10ee05e644cbacf844dd5b5f5556d307708","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:b703c92605269f59025e64410a6fc7c89f4f15a7eabf9cb4e6cf1a73bb090da8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:ac311a04033348598749f88c62627b48933585490eb089d27578d04ea4da1423","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T13:02:47.655919Z","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:8c6691b3e5066704b20725fe94fb6569fadd0d41eae7a9680f68d7a1c4ea3f1f","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:a4dd560bae4256b53782a8214c151e707363cce4f6417350379ea0dd980cb91d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:673b1c078ba25e12a1af455beb72f87edbeedef343400b14315d6245e825743a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:744ad11bc864e4957ac053e31ae88f9bc4f6f0290821f6f0430392a10eda6225","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e223c4a3960ffef58545e0591aafc60cd13fcc01f850d0e49af7605b9a8a7ec9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e71f78897dfa95481d6c050eb18006a14361a1ec8f43c0225465871f2808d40d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:433122b00a1c0679ee7ce9a498d66fbbc6dc84d112071652e328f84bf52fa246","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:9fc22f26691b7eb27eddba6d992fab61ba3ea5eb862d996c8f4953ea6254c4b4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:ded71f156db9557e7a90f5c73323041da6580b0a2fa276a26db65d92f1a71963","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:d51c73d1b3ea8832eec7d5d8e3faa04d459e39e8ba7476f40c364fd6692058e6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:07a65c38f434a3a694efd99ae253f19a61f83f7f19340c0ea9dfe42d2d186064","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e6bff8796bdded936aa26c6ff3041dfefdc842a704cd1b8c67150bc0f39d3f4b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:ecab1e09993fd7905a8129c81ecbff4560e4fae9d357b6aecc1b33448322e7ba","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:cf158aa646e712b0b33ea1e78ace6a6eb282480c4fde8e242c990795f5d6a409","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:be88337fb6922d3ac861108dc83b0ee85e0d05ec34aef26db1efbafcb18129d9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:8d8aa850af93aa8615092c5b69faf9b30ea2519ca0df7f341d7d694cf515bbfc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:42d17664c0b2b90d8a10aca6acf1d41a702e740b592a1eb102801cc4eb1b4eb4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:f0d7948e311c34cdaf3594168c597fad280883b4e9829b615bf18f789670088e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:6e444cfbf4d5741cc2085977df58281c0fec62b889c0fc769eb0a6566d7ce78e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:5dde2e51ebf6b64030d2fafe5de586e3b3af6f5e818ba9cbcfcb3c3732b8d803","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:a47360ffc663b74373ed3ef0c2c6944df66878be1b5d78b64580a0c9d2e303dd","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:bd32d427585975bb6b66ee512916625b3bb20b1122a9f234acd615f138543426","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:3d70b79b40db23093c5d82d5387b82dcff197259fd0ed1a19fc1f86904dd45f8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:93ebe2d6aa88b807136402c0c6a6460761c56d5b324c11439d16cae86c6d4f83","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:4a572f8586acef5e30252a0631dc167152fed56cfe251c6ffe72603a2082d6e1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2508.03627."}