Paper Citation Record · LEDGER

Learning Linear Temporal Specifications from Demonstrations with Uncertainty

As of 15 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.10918.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.10918 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T08:19:16.363607Z

measured 24 of 24 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

24 of 24 outbound references displayed

verified exact0
verified fuzzy0
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2fa198e1-3edb-46c2-bca0-17a6ac0cbae5 · outbound

This paper cites Learning from demonstrations using signal temporal logic,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning from demonstrations using signal temporal logic,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 974672cd-b7e5-4053-9be3-a8bcdc9b99a0 · outbound

This paper cites Survey on mining signal temporal logic specifications,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Survey on mining signal temporal logic specifications,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2138a426-c6e7-40c8-a928-08115a6f696c · outbound

This paper cites The Complexity of Learning Temporal Properties.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty The Complexity of Learning Temporal Properties

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4564a635-0c2f-4d32-b5dc-d812f6997996 · outbound

This paper cites Formal methods for controlling dynamical systems,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Formal methods for controlling dynamical systems,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc3e67e5-dda5-460b-a4e9-fd7e899b0f90 · outbound

This paper cites an unresolved cited work.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9de6d701-4c0b-4a7e-9151-6ba57e42b93a · outbound

This paper cites Learning linear temporal properties,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning linear temporal properties,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67d1499b-2b7b-49ef-b9df-ddea07e65f07 · outbound

This paper cites Learning Temporal Properties is NP-hard.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning Temporal Properties is NP-hard

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e281fe45-f7b7-408d-9eb1-de3c86b860ae · outbound

This paper cites Maxsat-based temporal logic inference from noisy data,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Maxsat-based temporal logic inference from noisy data,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3e78ea8-e39f-47d7-9d5d-6b5584335068 · outbound

This paper cites Learning linear temporal properties for autonomous robotic systems,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning linear temporal properties for autonomous robotic systems,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a909909-3ef4-4944-a4e7-ff5e059e99b8 · outbound

This paper cites Sampling- based motion planning with temporal goals,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Sampling- based motion planning with temporal goals,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04fadd8f-974d-4cd5-bd91-e2ae16d20f26 · outbound

This paper cites From linear temporal logics to büchi automata: the early and simple principle,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty From linear temporal logics to büchi automata: the early and simple principle,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a05e254-da62-4c19-bfb6-5966cba1cfbf · outbound

This paper cites A Direct Translation from LTL with Past to Deterministic Rabin Automata.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty A Direct Translation from LTL with Past to Deterministic Rabin Automata

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fde408f-20d1-4b0d-bcbe-70c25d904d04 · outbound

This paper cites Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41c36f6-362e-47a4-9c00-f9038cd4e271 · outbound

This paper cites Learning interpretable models expressed in linear temporal logic,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning interpretable models expressed in linear temporal logic,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd4106c4-2d56-42e4-a44a-56f8d23cd4b4 · outbound

This paper cites Learning temporal logic formulas from suboptimal demonstrations: theory and experi- ments,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning temporal logic formulas from suboptimal demonstrations: theory and experi- ments,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa0ee254-432d-4fe2-ae01-445065833bfc · outbound

This paper cites Learning an explainable trajectory generator using the automaton generative network (agn),.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning an explainable trajectory generator using the automaton generative network (agn),

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 455cfb5f-2fcc-465b-af91-d7447d2276d6 · outbound

This paper cites Learning reward machines for partially observable reinforcement learning,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning reward machines for partially observable reinforcement learning,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17857e61-26b1-4e50-8a35-0fea18cb834b · outbound

This paper cites Baier and J.-P.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Baier and J.-P

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c54abb68-bb83-481d-92d2-e1518f7f8732 · outbound

This paper cites Linear temporal logic and linear dynamic logic on finite traces,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Linear temporal logic and linear dynamic logic on finite traces,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf4cb4d8-1675-47df-a3d1-9d87c27c47f0 · outbound

This paper cites Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Learning Temporal Logic Properties: an Overview of Two Recent Methods

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f8530d3-875e-47ca-8cb8-d0a411b3746d · outbound

This paper cites Error detecting and error correcting codes,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Error detecting and error correcting codes,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc2961bd-4853-4feb-9c66-ca72aeedb910 · outbound

This paper cites Constrained ltl specification learning from examples,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Constrained ltl specification learning from examples,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74512330-1d2b-4475-8ed8-641f1cd67b5d · outbound

This paper cites Optimization modulo theories with linear rational costs,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Optimization modulo theories with linear rational costs,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c9fa69-6f95-4547-88be-ff1c58680b83 · outbound

This paper cites Z3: An eﬀicient SMT solver,.

Learning Linear Temporal Specifications from Demonstrations with Uncertainty Z3: An eﬀicient SMT solver,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-14T08:19:16.363607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.