Automata Learning -- Expect Delays! | Paper Citation Record

Observation ae4d4cd5-3455-4efb-b7f7-b15300927277 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:53.550624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 894e840a-b3fc-4c46-a282-9c68ee9b0ad6 · outbound

This paper cites In: Biere, A., Parker, D.

Automata Learning -- Expect Delays! In: Biere, A., Parker, D

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:53.633921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51a864f4-5cea-4912-b8f0-ce0953062919 · outbound

This paper cites Science China Information Sciences 64(9), 192103 (Aug 2021).

Automata Learning -- Expect Delays! Science China Information Sciences 64(9), 192103 (Aug 2021)

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:53.682416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c7dd5fa-c195-4e7a-84bf-5220ea7b8ba8 · outbound

This paper cites ACM Trans.

Automata Learning -- Expect Delays! ACM Trans

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:53.760210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f5730be-1f46-4e8a-8451-d8c5aa5f549c · outbound

This paper cites Information and Computation 75(2), 87–106 (1987).

Automata Learning -- Expect Delays! Information and Computation 75(2), 87–106 (1987)

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-08-05T17:26:03.958874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 25cccf79-90af-4e30-a508-6b3cec1fdcea · outbound

This paper cites Scandinavian Journal of Statistics 23(4), 419–441 (1996), http://www.jstor.org/stable/4616418.

Automata Learning -- Expect Delays! Scandinavian Journal of Statistics 23(4), 419–441 (1996), http://www.jstor.org/stable/4616418

Reference 7

Resolution: verified exact; raw_fallback, observed 2026-08-05T17:26:03.886822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 01090bba-4e97-4d52-9ea1-a457dc62513e · outbound

This paper cites In: Wani, M.A., Sethi, I.K., Shi, W., Qu, G., Raicu, D.S., Jin, R.

Automata Learning -- Expect Delays! In: Wani, M.A., Sethi, I.K., Shi, W., Qu, G., Raicu, D.S., Jin, R

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.038489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fea9482-3bfe-4eca-8a34-56504384e260 · outbound

This paper cites In: Flum, J., Gr¨ adel, E., Wilke, T.

Automata Learning -- Expect Delays! In: Flum, J., Gr¨ adel, E., Wilke, T

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.081752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6fe8348-935f-450a-bd49-67f5115fd2fa · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.173028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30a48ae0-abe2-44d2-8e53-801d8af09bdf · outbound

This paper cites Oxford University Press (1986).

Automata Learning -- Expect Delays! Oxford University Press (1986)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.242746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f299973c-d6eb-40dc-b5d7-f30bfdc48d25 · outbound

This paper cites Stochastic Models 21(2-3), 303–326 (2005).

Automata Learning -- Expect Delays! Stochastic Models 21(2-3), 303–326 (2005)

Reference 12

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.295759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2d828aa6-1703-4fe5-bb45-ef7b10e2c34b · outbound

This paper cites Active Learning of Mealy Machines with Timers.

Automata Learning -- Expect Delays! Active Learning of Mealy Machines with Timers

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.343507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae7e6ff6-d9b0-4e8e-a976-b2d5cb034548 · outbound

This paper cites In: 2019 49th Annual IEEE/IFI P International Con- ference on Dependable Systems and Networks (DSN).

Automata Learning -- Expect Delays! In: 2019 49th Annual IEEE/IFI P International Con- ference on Dependable Systems and Networks (DSN)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.395205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f3be248-92d4-4c30-837c-2678fffea9d4 · outbound

This paper cites IEEE Trans A utom.

Automata Learning -- Expect Delays! IEEE Trans A utom

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:03.631180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0ee95813-c87d-46c5-8970-b8beac6030bc · outbound

This paper cites In: Carrasco, R.C., Oncina, J.

Automata Learning -- Expect Delays! In: Carrasco, R.C., Oncina, J

Reference 16

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.274365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 09242a0b-25ac-4912-9871-e8ab75c088d7 · outbound

This paper cites IEEE Transactions on Software Engineering SE-4(3), 178–187 (1978).

Automata Learning -- Expect Delays! IEEE Transactions on Software Engineering SE-4(3), 178–187 (1978)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.554213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c69d19a5-430d-4742-bb16-177df0512728 · outbound

This paper cites Scientia Sinica 14, 1396–1400 (1965).

Automata Learning -- Expect Delays! Scientia Sinica 14, 1396–1400 (1965)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.165203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 87d54709-7b4c-4f4d-a1c5-ca84c6a35507 · outbound

This paper cites Activity analysis and production and allocation (1951).

Automata Learning -- Expect Delays! Activity analysis and production and allocation (1951)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.155641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 872e3736-44bb-49b1-bfea-287e55f7ce66 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.264619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ce92ffc2-7552-4a80-a0df-96271032cb9f · outbound

This paper cites In: Johansson, K.H., Yi, W.

Automata Learning -- Expect Delays! In: Johansson, K.H., Yi, W

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.816734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67517475-187d-4e10-9d14-2233ae8ef230 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.254351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2277c642-d737-4f00-ba68-58bd11bdd83b · outbound

This paper cites The Annals of Mathematical Stat istics 27(3), 642 – 669 (1956).

Automata Learning -- Expect Delays! The Annals of Mathematical Stat istics 27(3), 642 – 669 (1956)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.913597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f678b935-a109-4c64-926c-9ef3dfe4f3e5 · outbound

This paper cites Mathematical Programming 5(1), 88–124 (Dec 1973).

Automata Learning -- Expect Delays! Mathematical Programming 5(1), 88–124 (Dec 1973)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:54.971875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9b43707-aa7d-4105-8786-d3cc43b2e5f7 · outbound

This paper cites Journal of Rese arch of the national Bureau of Standards B 71(4), 233–240 (1967).

Automata Learning -- Expect Delays! Journal of Rese arch of the national Bureau of Standards B 71(4), 233–240 (1967)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.144853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 06e33dbf-3ee6-4d18-9f7f-f1434ef873da · outbound

This paper cites Operations research 43(3), 399–414 (1995).

Automata Learning -- Expect Delays! Operations research 43(3), 399–414 (1995)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.135006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0d8bb17a-c88f-4959-9318-dbcea53c40b4 · outbound

This paper cites In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, Un ited Kingdom.

Automata Learning -- Expect Delays! In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, Un ited Kingdom

Reference 27

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.237492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1491f3ed-bd18-4530-9163-694d0816fe00 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.226707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a37cb8ae-7bac-48f1-9e68-655b70d352de · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:26:04.125479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 53dace27-7283-413f-b999-5b10626f03cf · outbound

This paper cites In: Proceedings o f the 2021 ACM SIG- COMM 2021 Conference.

Automata Learning -- Expect Delays! In: Proceedings o f the 2021 ACM SIG- COMM 2021 Conference

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:55.270752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a839c885-63d7-4439-9a34-80e7bbaf4be2 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.217162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3f4c8d52-39ae-4121-833d-fcfc4e5c38b6 · outbound

This paper cites In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J.

Automata Learning -- Expect Delays! In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:03.212811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 147d07de-da19-4540-85c0-c028a3965d12 · outbound

This paper cites In: Bertrand, N., Jansen, N.

Automata Learning -- Expect Delays! In: Bertrand, N., Jansen, N

Reference 33

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.207305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 74081780-32bc-4748-96d6-2750ab69507a · outbound

This paper cites Journal of the American Statistical Associa tion 58(301), 13–30 (1963).

Automata Learning -- Expect Delays! Journal of the American Statistical Associa tion 58(301), 13–30 (1963)

Reference 34

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:03.136655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation acdd4665-a27a-47e5-961d-38e4dda2d427 · outbound

This paper cites In: Field, T., Harrison, P.G., Bradley, J.T., Harder, U.

Automata Learning -- Expect Delays! In: Field, T., Harrison, P.G., Bradley, J.T., Harder, U

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.116360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5768ca37-6610-46cc-a001-d0c62c28707b · outbound

This paper cites Stochastic Models 23(2), 167–194 (2007).

Automata Learning -- Expect Delays! Stochastic Models 23(2), 167–194 (2007)

Reference 36

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.196787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a047a243-03eb-4c03-bfd3-46369a50d385 · outbound

This paper cites In: Dudin, A.N., Turck, K.D.

Automata Learning -- Expect Delays! In: Dudin, A.N., Turck, K.D

Reference 37

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.185602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f0fdf8f2-1aa6-408c-858b-3c760518a977 · outbound

This paper cites Communications in Statistics.

Automata Learning -- Expect Delays! Communications in Statistics

Reference 39

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.174519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3143fe61-4bdc-4667-8b5b-97a0d5cd6ace · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:26:04.106993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f28b7e59-91f1-44fd-bd10-2c40a2f2675e · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 41

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.164332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 11dbd2ea-f3fd-4971-94c7-777c7dcca904 · outbound

This paper cites Efficient implementations of minimum-cost flow algorithms.

Automata Learning -- Expect Delays! Efficient implementations of minimum-cost flow algorithms

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:56.149392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8cea5b7-2e91-493d-b06c-e8daeb17e36f · outbound

This paper cites In: Li, Y., Tahar, S.

Automata Learning -- Expect Delays! In: Li, Y., Tahar, S

Reference 43

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.154052Z

Source-reported events for the cited work

correction dated 2023-12-20. Source: crossref record 10.1007/978-981-99-7584-6_23->10.1007/978-981-99-7584-6_4:correction, observed 2026-07-11T03:09:05.36641+00:00. This notice travels one citation hop only.

Observation 7a604f37-62af-46a6-8d07-54d5de1acd27 · outbound

This paper cites In: Finkbeiner, B., Kov´ acs, L.

Automata Learning -- Expect Delays! In: Finkbeiner, B., Kov´ acs, L

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.096784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5f580bdf-6560-4029-98cc-bf70ada39b64 · outbound

This paper cites In: de Alfaro, L., Gilmo re, S.

Automata Learning -- Expect Delays! In: de Alfaro, L., Gilmo re, S

Reference 45

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.143801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b3e875d9-4889-4544-9271-bcd652335bdd · outbound

This paper cites In: Proceedings of 5-th Berkeley Symposium on Math ematical Statistics and Probability/University of California Press (1967).

Automata Learning -- Expect Delays! In: Proceedings of 5-th Berkeley Symposium on Math ematical Statistics and Probability/University of California Press (1967)

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.087023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cad95a24-a0f2-460a-bcc5-33661ab61a07 · outbound

This paper cites In: Fahrenberg, U., Legay, A., Thrane, C.R.

Automata Learning -- Expect Delays! In: Fahrenberg, U., Legay, A., Thrane, C.R

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:56.561727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deca2e93-3378-4987-9230-bc3555b288c5 · outbound

This paper cites The Annals of Probability 18(3), 1269 – 1283 (1990).

Automata Learning -- Expect Delays! The Annals of Probability 18(3), 1269 – 1283 (1990)

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:56.621703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29dead6e-1fba-465f-b058-c02a82cc056f · outbound

This paper cites In: Margaria, T.

Automata Learning -- Expect Delays! In: Margaria, T

Reference 50

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:56.705764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4aed5523-b513-4130-a4fd-a6886b0fd27d · outbound

This paper cites In: Bar- rett, C.W., Davies, M.D., Kahsai, T.

Automata Learning -- Expect Delays! In: Bar- rett, C.W., Davies, M.D., Kahsai, T

Reference 51

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:56.789807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea49bd23-af68-4244-bae5-a78639cd31bf · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.119418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7de186f4-1bc8-41a2-81ca-2c8b75be3db3 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:26:04.077016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2d4a767b-b2ec-4ea1-9243-8deb9471320d · outbound

This paper cites Innovations in Systems and Software Engineering 18(3), 417–426 (Sep 2022).

Automata Learning -- Expect Delays! Innovations in Systems and Software Engineering 18(3), 417–426 (Sep 2022)

Reference 54

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.109049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7a1dd3d-2f02-4c4e-85cc-938dcc9538bf · outbound

This paper cites Software and Systems Modeling 23(2), 503–524 (Apr 2024).

Automata Learning -- Expect Delays! Software and Systems Modeling 23(2), 503–524 (Apr 2024)

Reference 55

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.098166Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 21f04579-64ed-4b0d-9d9c-b5f4b4de43ef · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 56

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.088325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a5cd3030-1459-4a83-8e4f-890f4e3a0ef6 · outbound

This paper cites In: Larsen, K.G., Skou, A.

Automata Learning -- Expect Delays! In: Larsen, K.G., Skou, A

Reference 57

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:57.311604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d7742d-055b-4965-a094-5cc94f520868 · outbound

This paper cites A family of statistical symmetric divergences based on Jensen's inequality.

Automata Learning -- Expect Delays! A family of statistical symmetric divergences based on Jensen's inequality

Reference 58

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T17:26:02.906260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 474a9afa-24a3-4dd3-b4ae-08965ec6098c · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 59

Resolution: verified exact; doi, observed 2026-08-05T17:26:02.070908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d28af6cd-a5d8-4beb-89b7-7359719f4475 · outbound

This paper cites In: Deussen, P.

Automata Learning -- Expect Delays! In: Deussen, P

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:57.474718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6413c17d-1ebe-4125-99f2-14af6e0abd18 · outbound

This paper cites Computers & Operations Research 22(8), 819–828 (1995).

Automata Learning -- Expect Delays! Computers & Operations Research 22(8), 819–828 (1995)

Reference 61

Resolution: verified exact; raw_fallback, observed 2026-08-05T17:26:02.890595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6e97ec5b-5b17-4c05-8af3-8b275a710722 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:57.655597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3da7647c-71f9-4c8b-bbed-6d9f95d03163 · outbound

This paper cites In: Proceedings of the Sixth Int ernational Confer- ence on Computer Vision (ICCV-98), Bombay, India, January 4 -7, 1998.

Automata Learning -- Expect Delays! In: Proceedings of the Sixth Int ernational Confer- ence on Computer Vision (ICCV-98), Bombay, India, January 4 -7, 1998

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.067419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f8235be9-16ef-4e98-8749-1b84f3d053bc · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:26:04.057809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d61c1c5b-4196-4c17-8727-81c402d87d61 · outbound

This paper cites L-Vector: Neural Label Embedding for Domain Adaptation.

Automata Learning -- Expect Delays! L-Vector: Neural Label Embedding for Domain Adaptation

Reference 65

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:58.136796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8eeb4ef-f848-4618-a12e-99ccd1ed2f29 · outbound

This paper cites https://doi.org/10.110 9/ICCV.1998.710701, https://doi.org/10.1109/ICCV.1998.710701.

Automata Learning -- Expect Delays! https://doi.org/10.110 9/ICCV.1998.710701, https://doi.org/10.1109/ICCV.1998.710701

Reference 66

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:02.730738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee4d5b2c-54ad-40a6-afa7-482c3bad6e38 · outbound

This paper cites ACM Trans.

Automata Learning -- Expect Delays! ACM Trans

Reference 67

Resolution: verified exact; doi, observed 2026-08-05T17:26:01.970993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b380b760-87cd-4e3f-bf36-a7cc6a150cb2 · outbound

This paper cites In: Bertolino, A ., Canfora, G., El- baum, S.G.

Automata Learning -- Expect Delays! In: Bertolino, A ., Canfora, G., El- baum, S.G

Reference 68

Resolution: verified exact; doi, observed 2026-08-05T17:26:01.778689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f94e90b7-4f17-411c-8ccb-d56f3ea49ca4 · outbound

This paper cites The Annals of Mathematical Statist ics 19(2), 279 – 281 (1948).

Automata Learning -- Expect Delays! The Annals of Mathematical Statist ics 19(2), 279 – 281 (1948)

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:58.428232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 770d7253-a85d-4b3a-9eec-950b39a51d15 · outbound

This paper cites In: Heinz, J., de la Higuer a, C., Oates, T.

Automata Learning -- Expect Delays! In: Heinz, J., de la Higuer a, C., Oates, T

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.048013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4d140f02-dd41-4e5f-9eee-4f5dcbdcea96 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-05T17:25:58.597000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3711b111-8014-41e0-95db-d8d657843665 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 72

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:26:04.038310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9768ee42-dc08-46be-8287-e4ec521facf8 · outbound

This paper cites In: Proceedings of the 36th Internatio nal Conference on Neural Information Processing Systems.

Automata Learning -- Expect Delays! In: Proceedings of the 36th Internatio nal Conference on Neural Information Processing Systems

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.028781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 985e88f2-3a2b-4027-b8ba-2f344bfe63da · outbound

This paper cites , Larsen, K.G.: L∗-based learning of Markov decision processes (extended version).

Automata Learning -- Expect Delays! , Larsen, K.G.: L∗-based learning of Markov decision processes (extended version)

Reference 74

Resolution: verified exact; doi, observed 2026-08-05T17:26:01.528523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 45bc0aff-5320-43ee-aa7c-3c229b7770e2 · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 75

Resolution: verified exact; doi, observed 2026-08-05T17:26:01.279048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d5736c57-afae-4a3c-b849-c4b58699025a · outbound

This paper cites In: ´Abrah´ am, E., Jr., M.M.

Automata Learning -- Expect Delays! In: ´Abrah´ am, E., Jr., M.M

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.016658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 66257ab0-ca4f-416c-8adc-26c8f2ffde09 · outbound

This paper cites In: Fisman, D., Rosu, G.

Automata Learning -- Expect Delays! In: Fisman, D., Rosu, G

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:04.005003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 24835b3e-2a51-478a-bc71-6a86f9be2e03 · outbound

This paper cites IEEE Trans.

Automata Learning -- Expect Delays! IEEE Trans

Reference 78

Resolution: verified exact; doi, observed 2026-08-05T17:26:01.090498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7ff6ba6b-0e18-4045-b619-9dabca73ca71 · outbound

This paper cites Cybe rnetics 9(4), 653–665 (Jul 1973).

Automata Learning -- Expect Delays! Cybe rnetics 9(4), 653–665 (Jul 1973)

Reference 79

Resolution: verified exact; doi, observed 2026-08-05T17:26:00.957770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e3ac24bc-548e-4c6b-9763-f0144cd6daea · outbound

This paper cites In: Bouyer, P., van de Pol, J.

Automata Learning -- Expect Delays! In: Bouyer, P., van de Pol, J

Reference 80

Resolution: malformed identifier; no resolver link, observed 2026-08-05T17:25:59.990830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75b9dc2d-dbed-4115-bceb-00aaaab20cb4 · outbound

This paper cites In: Ames, A.D., Seshia, S.A., Deshmukh , J.

Automata Learning -- Expect Delays! In: Ames, A.D., Seshia, S.A., Deshmukh , J

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:03.992486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 98f9a533-b57b-40d6-9b4e-7c11870384fa · outbound

This paper cites an unresolved cited work.

Automata Learning -- Expect Delays! Unresolved cited work

Reference 82

Resolution: verified exact; doi, observed 2026-08-05T17:26:00.733463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8a433357-515a-4156-a0c0-14b163d1ee1a · outbound

This paper cites In: Enea, C., Lal, A.

Automata Learning -- Expect Delays! In: Enea, C., Lal, A

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:03.981849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a3c035d4-cd15-456c-954a-8e4a7460ad2a · outbound

This paper cites We will show that R fulﬁlls all requirements for being a bisimulation relation between M and M′ according to Deﬁnition 2.

Automata Learning -- Expect Delays! We will show that R fulﬁlls all requirements for being a bisimulation relation between M and M′ according to Deﬁnition 2

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:26:03.971540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 313414c1-fb99-496f-b6a2-998bb29c04b9 · outbound

This paper cites 11:1–11:13.

Automata Learning -- Expect Delays! 11:1–11:13

Reference 2020

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:02.399262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 846bf7d4-e6cc-4c39-91c3-ccf8e8cbac60 · outbound

This paper cites 6:1–6:11.

Automata Learning -- Expect Delays! 6:1–6:11

Reference 2024

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T17:26:02.489706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers