Paper Citation Record · LEDGER

Learning Event-recording Automata Passively

As of 15 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.

pith.paper-citation-record.v1
2508.03627 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T04:33:44.048503Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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-15T06:32:42.880941+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.

Learning Event-recording Automata Passively 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-15T06:32:42.880941+00:00.

Observation 5cb78572-d59c-46b1-9384-dea167be07fb · outbound

This paper cites Henzinger.

Learning Event-recording Automata Passively 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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+00:00.

Observation c4a77e11-4cb6-4ffe-8649-2da99cc616ed · outbound

This paper cites Mark Gold.

Learning Event-recording Automata Passively 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-15T06:32:42.880941+00:00.

Observation af0849a1-6cc4-42f5-b4bf-541c0ae5f99e · outbound

This paper cites Mark Gold.

Learning Event-recording Automata Passively 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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.