{"as_of":"2026-08-16T03:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:04255df777f23acf6c0f2488f93cad46bd36b27ce230aca70975a68822922d29","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T08:19:16.363607Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.10918/citation-record","integrity":"/paper/2607.10918/integrity","json":"/paper/2607.10918/citation-record.json","paper":"/paper/2607.10918"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning from demonstrations using signal temporal logic,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:7fac8efa6fc548dacb9d92716699233ac33e59309eb58553e4c9cab73024f460","observation_id":"2fa198e1-3edb-46c2-bca0-17a6ac0cbae5","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Survey on mining signal temporal logic specifications,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:c55b980ace476fe38c416d91df153df15acb3a73c36190e70cab959dcd3d6a62","observation_id":"974672cd-b7e5-4053-9be3-a8bcdc9b99a0","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04486","last_updated":"2024-08-08T14:25:30Z","snapshot_observed_at":"2026-08-15T20:38:17.785387Z","submitted_at":"2024-08-08T14:25:30Z","title":"The Complexity of Learning Temporal Properties","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04486","snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"The complexity of learning temporal properties,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"cited_paper":"/paper/2408.04486","citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:17712f8a70a877ea6be1a9baa9a9263337342c07212b0e5cca2ebc9defbb2fc3","observation_id":"2138a426-c6e7-40c8-a928-08115a6f696c","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Formal methods for controlling dynamical systems,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:a4ab5f0b55273acf58a183f49621296d4d84552a44daf0ecb2248da1406db3d8","observation_id":"4564a635-0c2f-4d32-b5dc-d812f6997996","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:20bd98ac8b62037a00ab58dee00f021511eb8e1aedf0b901d998a133b934ec9e","observation_id":"bc3e67e5-dda5-460b-a4e9-fd7e899b0f90","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning linear temporal properties,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:63908f9a52c08676b03219ac80de68819ab22b5974a8e65b55015c2fb6e52b6a","observation_id":"9de6d701-4c0b-4a7e-9151-6ba57e42b93a","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11403","last_updated":"2023-12-18T18:07:48Z","snapshot_observed_at":"2026-08-15T22:42:28.106109Z","submitted_at":"2023-12-18T18:07:48Z","title":"Learning Temporal Properties is NP-hard","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11403","snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning temporal properties is np-hard,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"cited_paper":"/paper/2312.11403","citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:173d85db3292f4bccabcab3e380578648b338c23a1c38b4206df58af53c7babc","observation_id":"67d1499b-2b7b-49ef-b9df-ddea07e65f07","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Maxsat-based temporal logic inference from noisy data,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:66e77965d79ef4f89a45b66760a4fe3a046da13b4c6dc33fdad6a1d7b168fe9d","observation_id":"e281fe45-f7b7-408d-9eb1-de3c86b860ae","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning linear temporal properties for autonomous robotic systems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:a0eecac061696be8c78eafdea92e4a8aa11004293b5870091627a5bfa53fa451","observation_id":"a3e78ea8-e39f-47d7-9d5d-6b5584335068","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Sampling- based motion planning with temporal goals,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:f52cd5fab9ca5f3b90f80f531c8214baf47bb6e571ba885aad2a281fd1f32d89","observation_id":"8a909909-3ef4-4944-a4e7-ff5e059e99b8","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"From linear temporal logics to büchi automata: the early and simple principle,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:95aa9aa83eda9f9264eb1aee8bb766f496fc4b181caac68fed2c6d5b4fe680fa","observation_id":"04fadd8f-974d-4cd5-bd91-e2ae16d20f26","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01178","last_updated":"2024-09-03T19:45:14Z","snapshot_observed_at":"2026-08-13T00:17:00.318193Z","submitted_at":"2024-05-02T11:05:15Z","title":"A Direct Translation from LTL with Past to Deterministic Rabin Automata","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01178","snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"A direct translation from ltl with past to deterministic rabin automata,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"cited_paper":"/paper/2405.01178","citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:dcc5e63716f451aabac96e4b79af09c2040b64cf306e1330465085cee40e078e","observation_id":"3a05e254-da62-4c19-bfb6-5966cba1cfbf","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.07116","last_updated":"2021-07-15T04:47:35Z","snapshot_observed_at":"2026-08-15T16:13:00.708079Z","submitted_at":"2021-07-15T04:47:35Z","title":"Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.07116","snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Transformer-based machine learning for fast sat solvers and logic synthesis,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"cited_paper":"/paper/2107.07116","citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:b476606d017d9c81537f3731543a3384dc528d89c5ec9c88c6614b2f1a8c334d","observation_id":"6fde408f-20d1-4b0d-bcbe-70c25d904d04","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning interpretable models expressed in linear temporal logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:09ca79961e7fc8d07283b1be780a50e092f44dd7cf09a514f9c949414a8a3b2d","observation_id":"b41c36f6-362e-47a4-9c00-f9038cd4e271","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning temporal logic formulas from suboptimal demonstrations: theory and experi- ments,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:e7fefa3ef0dd0f05fae862f169707c159d664ba6bea9729589c4136763424643","observation_id":"fd4106c4-2d56-42e4-a44a-56f8d23cd4b4","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning an explainable trajectory generator using the automaton generative network (agn),","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:049dcff440f68d5a26c495603081361d48e91ecff6aa606f08d326f5ecc6beea","observation_id":"aa0ee254-432d-4fe2-ae01-445065833bfc","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning reward machines for partially observable reinforcement learning,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:2f01c13bebe0abbe834725e2d59c93b8a08fb9f4d6891633bb27d4e723eab968","observation_id":"455cfb5f-2fcc-465b-af91-d7447d2276d6","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:bdb201811ec8bbddddb56ea2e4ecf05d8dcf05ac893dab3d77426c714b493028","observation_id":"17857e61-26b1-4e50-8a35-0fea18cb834b","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Linear temporal logic and linear dynamic logic on finite traces,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:2942e8eae70169f38551179b6e50a0779191e3273f6a7279dad2064ed1158f94","observation_id":"c54abb68-bb83-481d-92d2-e1518f7f8732","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.00916","last_updated":"2022-12-02T00:32:09Z","snapshot_observed_at":"2026-08-13T13:29:40.452643Z","submitted_at":"2022-12-02T00:32:09Z","title":"Learning Temporal Logic Properties: an Overview of Two Recent Methods","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.00916","snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Learning temporal logic properties: an overview of two recent methods,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"cited_paper":"/paper/2212.00916","citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:12f41c727132d1a621b7023622e2f242d37dbfcaf2906ab803676ee079ca6a2e","observation_id":"cf4cb4d8-1675-47df-a3d1-9d87c27c47f0","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Error detecting and error correcting codes,","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:4f4003f4422a5477068b14e95dce2678624a3b854cef3d2bfebe030478296c78","observation_id":"7f8530d3-875e-47ca-8cb8-d0a411b3746d","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Constrained ltl specification learning from examples,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:e645c280bd0e1de40e72cedd5feffac8be048e3ca0453bcee86b7a33bf4b6a1c","observation_id":"cc2961bd-4853-4feb-9c66-ca72aeedb910","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Optimization modulo theories with linear rational costs,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:5ea57c33c0d952af6e2075b8eb0b10d3114b09f22e2f77850ffd4f48f4185fb5","observation_id":"74512330-1d2b-4475-8ed8-641f1cd67b5d","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T08:19:16.363607Z","title":"Z3: An efficient SMT solver,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T08:19:16.363607Z"},"links":{"citing_paper":"/paper/2607.10918"},"observation_digest":"sha256:0592b7c7fcb16e9b2101b04fc76e5d883489e2ffe4636304b6f234e176978eb7","observation_id":"80c9fa69-6f95-4547-88be-ff1c58680b83","resolution":{"observed_at":"2026-07-14T08:19:16.363607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.10918","last_updated":"2026-07-12T20:43:52Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T05:29:06.735521Z","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":24},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.10918."}