Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T04:33:44.048503Z
Paper Citation Record · LEDGER
Learning Event-recording Automata Passively
As of 20 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2508.03627.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
32 of 32 outbound references displayed
- verified exact0
- verified fuzzy27
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cf8ecdb3-198f-4f99-aafb-3d81ece6c493 · outbound
This paper cites an unresolved cited work.
Learning Event-recording Automata Passively Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T04:33:51.088533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1d74834f-f7ab-4c36-8f5c-54d07fbf3645 · outbound
This paper cites an unresolved cited work.
Learning Event-recording Automata Passively Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T04:33:40.233671Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69c4db98-4a75-4136-ad12-b62fefe95cf2 · outbound
This paper cites Henzinger.
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:50.894158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5cb78572-d59c-46b1-9384-dea167be07fb · outbound
This paper cites Henzinger.
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:50.752128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ccd20edb-16e4-4128-b93d-16360f2824c3 · outbound
This paper cites Learning real-time automata.
Learning Event-recording Automata Passively Learning real-time automata
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:50.593880Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f5e50d3a-6a5f-4166-a4c1-1bcec6d59c5c · outbound
This paper cites LTL reactive synthesis with a few hints.
Learning Event-recording Automata Passively LTL reactive synthesis with a few hints
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:50.424008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 64bfeda0-2ac6-4dbb-9451-cd6b87a1e1d0 · outbound
This paper cites Active Learning of Mealy Machines with Timers.
Learning Event-recording Automata Passively Active Learning of Mealy Machines with Timers
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T04:33:40.599491Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ada408cb-a283-46f0-98f0-ea7ec5cd9412 · outbound
This paper cites an unresolved cited work.
Learning Event-recording Automata Passively Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T04:33:50.194505Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cb879af5-4d5e-4479-9720-cd5d1864ecda · outbound
This paper cites g Cornanguer, Christine Largou \.
Learning Event-recording Automata Passively g Cornanguer, Christine Largou \
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:49.900622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d129d69f-eaf7-4036-92ad-c5bf083eb10a · outbound
This paper cites Incremental regular inference.
Learning Event-recording Automata Passively Incremental regular inference
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:49.602153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c4a77e11-4cb6-4ffe-8649-2da99cc616ed · outbound
This paper cites Mark Gold.
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:49.322428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation af0849a1-6cc4-42f5-b4bf-541c0ae5f99e · outbound
This paper cites Mark Gold.
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:49.040161Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1e14874c-4e88-4272-a418-72ec4d82fa8a · outbound
This paper cites Learning of event-recording automata.
Learning Event-recording Automata Passively Learning of event-recording automata
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:48.906684Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6df6df71-44d2-4fdf-8877-0cd28ce7bf8b · outbound
This paper cites Inference of event-recording automata using timed decision trees.
Learning Event-recording Automata Passively Inference of event-recording automata using timed decision trees
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:48.751384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9cebe77d-6265-4a0f-91bc-f40e2a782def · outbound
This paper cites Active learning of timed automata with unobservable resets.
Learning Event-recording Automata Passively Active learning of timed automata with unobservable resets
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:48.563724Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 75cef7e3-6f55-4d8f-a72e-708b2be3b138 · outbound
This paper cites A scenario-based methodology for conducting requirements elicitation.
Learning Event-recording Automata Passively A scenario-based methodology for conducting requirements elicitation
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:48.361547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 58e64994-924d-46a8-b558-b75b6a54e76e · outbound
This paper cites UPPAAL in a nutshell.
Learning Event-recording Automata Passively UPPAAL in a nutshell
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:48.146162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2f0b31a3-60eb-4e80-ad4e-f22edd1fdce7 · outbound
This paper cites An efficient algorithm for learning event-recording automata.
Learning Event-recording Automata Passively An efficient algorithm for learning event-recording automata
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:47.939608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bcb9d881-285f-486a-9d9e-b98ebf69e28f · outbound
This paper cites Greybox learning of languages recognizable by event-recording automata.
Learning Event-recording Automata Passively Greybox learning of languages recognizable by event-recording automata
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:47.725252Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4b501a32-023a-4958-bb41-d816c9430871 · outbound
This paper cites Inferring regular languages in polynomial updated time.
Learning Event-recording Automata Passively Inferring regular languages in polynomial updated time
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T04:33:41.973624Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7ff9972-5d25-47da-afc2-3dcbfcc0b80f · outbound
This paper cites Timed k-tail: Automatic inference of timed automata.
Learning Event-recording Automata Passively Timed k-tail: Automatic inference of timed automata
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:47.517716Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ea574e7a-fa3f-4768-8dbf-2ab4c1f890f9 · outbound
This paper cites Aichernig, Kim Guldstrand Larsen, and Florian Lorber.
Learning Event-recording Automata Passively Aichernig, Kim Guldstrand Larsen, and Florian Lorber
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:47.239293Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 45877b1e-14ce-4dd7-b403-e31a167f52fa · outbound
This paper cites Aichernig, and Florian Lorber.
Learning Event-recording Automata Passively Aichernig, and Florian Lorber
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:46.993414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4034ce9a-2f7a-446c-93bb-3df1e740a514 · outbound
This paper cites Learning deterministic multi-clock timed automata.
Learning Event-recording Automata Passively Learning deterministic multi-clock timed automata
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:46.775782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8f852f79-4267-4f9c-b2b2-ab0002af7369 · outbound
This paper cites Vaandrager.
Learning Event-recording Automata Passively Vaandrager
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:46.575021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c34bf04c-306a-4cc2-af35-3e4a1d40b82d · outbound
This paper cites Vaandrager, Masoud Ebrahimi, and Roderick Bloem.
Learning Event-recording Automata Passively Vaandrager, Masoud Ebrahimi, and Roderick Bloem
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:46.306785Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fbf8a7a3-6024-41f9-b83a-72a8cf6d5ba9 · outbound
This paper cites Vaandrager, Bharat Garhewal, Jurriaan Rot, and Thorsten Wi mann.
Learning Event-recording Automata Passively Vaandrager, Bharat Garhewal, Jurriaan Rot, and Thorsten Wi mann
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:46.047894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 740d893a-6556-4e35-be3c-75a88027974a · outbound
This paper cites Polynomial distinguishability of timed automata.
Learning Event-recording Automata Passively Polynomial distinguishability of timed automata
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:45.729127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ad965ee9-460a-4cb4-9067-700ca8062bdf · outbound
This paper cites One-clock deterministic timed automata are efficiently identifiable in the limit.
Learning Event-recording Automata Passively One-clock deterministic timed automata are efficiently identifiable in the limit
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:45.360605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 92e9028e-db21-413e-9b0c-7502df9125eb · outbound
This paper cites A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data.
Learning Event-recording Automata Passively A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:45.042883Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 82aa00bb-c5b1-4ada-a5dc-ef8ac3c533b8 · outbound
This paper cites Active learning of deterministic timed automata with myhill-nerode style characterization.
Learning Event-recording Automata Passively Active learning of deterministic timed automata with myhill-nerode style characterization
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:44.732181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7410b9e4-0f7c-4d8e-b434-9c07c2d4da2d · outbound
This paper cites Active learning of one-clock timed automata using constraint solving.
Learning Event-recording Automata Passively Active learning of one-clock timed automata using constraint solving
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T04:33:44.369540Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
No inbound Pith citation observations are available.