Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T19:35:56.722443Z
Paper Citation Record · LEDGER
Learning Quantitative Automata Modulo Theories
As of 16 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2411.10601.
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-16T06:30:59.297886+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
33 of 33 outbound references displayed
- verified exact7
- verified fuzzy16
- unresolved9
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3a0bb844-f730-4204-a559-44fb29bf3f9a · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:35:56.598694Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a73e1b5b-f0c7-4608-8212-7b24a74df37d · outbound
This paper cites In: International Conference on Computer Aided Verification (2018).
Learning Quantitative Automata Modulo Theories In: International Conference on Computer Aided Verification (2018)
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.296479Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f7e8b7ca-aee9-418c-9069-ba02beda2bb9 · outbound
This paper cites In: Conference on Algebraic Infor- matics (2015).
Learning Quantitative Automata Modulo Theories In: Conference on Algebraic Infor- matics (2015)
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.286005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3aa0c2d3-da8d-4d50-8b40-d52679ad4e73 · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.275141Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d4b60829-286f-447f-afb0-34ef84814082 · outbound
This paper cites ACM Transactions on Human-Robot Interaction13(2), 1–27 (2024).
Learning Quantitative Automata Modulo Theories ACM Transactions on Human-Robot Interaction13(2), 1–27 (2024)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.264888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 335d6dcf-b06c-4a90-a619-d4750774ac6c · outbound
This paper cites weighted automata.
Learning Quantitative Automata Modulo Theories weighted automata
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-12T19:35:56.790067Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ab549516-9a7f-4e0e-9cc8-4d05ea107641 · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:35:56.623968Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 54d6df84-207c-4a6e-83d3-f720b5f3b685 · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.254678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7b001f56-2629-487f-ad3c-d68dfbda1c6c · outbound
This paper cites Advances in neural information processing systems 30 (2017).
Learning Quantitative Automata Modulo Theories Advances in neural information processing systems 30 (2017)
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.244486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2c0bccf0-a074-4078-bd61-23cd96c71255 · outbound
This paper cites Preference Learning41(41-55), 48 (2009).
Learning Quantitative Automata Modulo Theories Preference Learning41(41-55), 48 (2009)
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.234085Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9ed01cfd-422d-404e-acb4-1abb0282715f · outbound
This paper cites In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.
Learning Quantitative Automata Modulo Theories In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.222684Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6edef649-c180-4c5e-b685-1e359f444f01 · outbound
This paper cites In: Kumar, A., Thiébaux, S., Varakantham, P., Yeoh, W.
Learning Quantitative Automata Modulo Theories In: Kumar, A., Thiébaux, S., Varakantham, P., Yeoh, W
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.211176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1d98d0e9-ab70-43c6-b566-bcef151c0599 · outbound
This paper cites In: International Conference on Tools and Algorithms for Construction and Analysis of Systems (2017).
Learning Quantitative Automata Modulo Theories In: International Conference on Tools and Algorithms for Construction and Analysis of Systems (2017)
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.200386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 00ed8bde-c77c-48de-a037-e5f810a17b58 · outbound
This paper cites In: Bouajjani, A., Holík, L., Wu, Z.
Learning Quantitative Automata Modulo Theories In: Bouajjani, A., Holík, L., Wu, Z
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.188060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d46f69ea-4f16-4c61-8060-022d104bd942 · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.176048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 977418d1-4673-46d4-9080-44fb05495858 · outbound
This paper cites Automata Learning from Preference and Equivalence Queries.
Learning Quantitative Automata Modulo Theories Automata Learning from Preference and Equivalence Queries
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T19:35:56.967918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7f4488e6-3a12-4433-ab25-eab710298054 · outbound
This paper cites In: Dy, J., Krause, A.
Learning Quantitative Automata Modulo Theories In: Dy, J., Krause, A
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.164403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a9409397-d05e-4c85-84e4-0b0455eb689b · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-12T19:35:56.779137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f535a70d-00c1-4eec-88df-7bb009f10850 · outbound
This paper cites In: 2022 IEEE International Conference on Development and Learning (ICDL), pp.
Learning Quantitative Automata Modulo Theories In: 2022 IEEE International Conference on Development and Learning (ICDL), pp
Reference 19
- Resolution
- verified exact
- raw_fallback, observed 2026-08-12T19:35:56.953365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2ce4ff05-1982-47e8-a8c3-0a93b940c9e8 · outbound
This paper cites Learning Human Preferences Over Robot Behavior as Soft Planning Constraints.
Learning Quantitative Automata Modulo Theories Learning Human Preferences Over Robot Behavior as Soft Planning Constraints
Reference 20
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T19:35:56.881022Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b87773b3-0ac1-45ff-b7e4-d09f982332b5 · outbound
This paper cites In: Robotics: Science and Systems (2017).
Learning Quantitative Automata Modulo Theories In: Robotics: Science and Systems (2017)
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.151151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cb330df8-bc19-4f36-9f57-be0bace6574f · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.139221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 81e5b042-f732-4c0c-bf23-0f32d8337ed1 · outbound
This paper cites Advances in Neural Information Processing Systems33, 3008–3021 (2020).
Learning Quantitative Automata Modulo Theories Advances in Neural Information Processing Systems33, 3008–3021 (2020)
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.126723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ef123b72-f286-4b58-a794-7b25757c6212 · outbound
This paper cites In: International Symposium on Formal Methods, pp.
Learning Quantitative Automata Modulo Theories In: International Symposium on Formal Methods, pp
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.115089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f7a598fb-03cf-41f4-a748-578fcb15b34b · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-12T19:35:56.767441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dba2312d-f5f9-4c43-b5c3-46bbbbc79182 · outbound
This paper cites In: Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché- Buc, F., Fox, E., Garnett, R.
Learning Quantitative Automata Modulo Theories In: Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché- Buc, F., Fox, E., Garnett, R
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.102576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bf0117d0-271d-4673-8494-370017712f86 · outbound
This paper cites Journal of Machine Learning Research18(136), 1–46 (2017).
Learning Quantitative Automata Modulo Theories Journal of Machine Learning Research18(136), 1–46 (2017)
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.089627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d3a338a0-73b7-403c-aa3e-4bfc86bd8143 · outbound
This paper cites In: Proceedings of the AAAI conference on artificial intelligence, vol.
Learning Quantitative Automata Modulo Theories In: Proceedings of the AAAI conference on artificial intelligence, vol
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:35:57.076820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9b197006-b6c5-43fb-8f42-7685f659f30a · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-12T19:35:56.755233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3d65a321-1e7b-4d83-83fd-62e36e89d07d · outbound
This paper cites In: Proceedings of the 29th ACM SIGKDD Confer- ence on Knowledge Discovery and Data Mining, p.
Learning Quantitative Automata Modulo Theories In: Proceedings of the 29th ACM SIGKDD Confer- ence on Knowledge Discovery and Data Mining, p
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:35:56.711564Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27bba3fc-9ab5-418d-a1d6-bbd7612e87ee · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.062251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1d1f6c3f-5eaf-41b5-b067-6f7246688bb6 · outbound
This paper cites an unresolved cited work.
Learning Quantitative Automata Modulo Theories Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:35:57.048513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c0b1b03e-13fb-4e67-a315-e69d4ec569d4 · outbound
This paper cites Within the 3 regimes, tables are ranked by how many states they contain.
Learning Quantitative Automata Modulo Theories Within the 3 regimes, tables are ranked by how many states they contain
Reference 33
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-12T19:35:57.036557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.