{"as_of":"2026-08-14T16:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:50c8157136a0faa9044fe86d78992ed0c23d52e4e258285c0fbd982da358df20","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:59:20.978319Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2507.14582/citation-record","integrity":"/paper/2507.14582/integrity","json":"/paper/2507.14582/citation-record.json","paper":"/paper/2507.14582"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:23.523847Z","title":"Integrated task and motion planning,","venue":null,"work_id":"1c107335-6fd1-4fab-8881-8dcd5891adf0","year":2021},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.817133Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:ba23c37db09411f28b3a599c22ad5cc0ca69c1ca433836da869e195207d721eb","observation_id":"6442a06b-5672-480f-85df-c38365025e2b","resolution":{"observed_at":"2026-08-06T15:59:23.575393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:20.822971Z","title":"Recent trends in task and motion planning for robotics: A survey,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.822971Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:7cf8d7dff3461dcb1deeafd47f3e2c7960d143f579cd17b2627acd05e2c6f2a8","observation_id":"04de59df-728f-46b5-a88c-15f861000c45","resolution":{"observed_at":"2026-08-06T15:59:20.822971Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:23.408716Z","title":"A survey of optimization-based task and motion planning: From classical to learning approaches,","venue":null,"work_id":"b8d86af9-10a4-4f9a-83e9-85494fb2605c","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.827976Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:4a72440b72def45e29634f7feb1d51da92798874b539ffd0520830af9841e8f9","observation_id":"b44765c8-92e6-4ab9-895e-ec92580c3a28","resolution":{"observed_at":"2026-08-06T15:59:23.456819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:20.832653Z","title":"Recent advances in robot learning from demonstration,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.832653Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:afc42021677300e7492d316e7cbdc961083d0496eaf972f232379e5fd2786b16","observation_id":"7ba379e7-7094-4af4-8e35-f1934b8bd8d0","resolution":{"observed_at":"2026-08-06T15:59:20.832653Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:23.262964Z","title":"A constrained dmps framework for robot skills learning and generalization from human demonstrations,","venue":null,"work_id":"f1404b93-e168-4b8e-b174-0bbb5f38c024","year":2021},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.837454Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:8ec0779a60c69715661dab760d8d10bc993305e9b0dcf9d8126747584e0cd3c7","observation_id":"7f2a83c0-448d-4dc7-b7bd-5273c9458991","resolution":{"observed_at":"2026-08-06T15:59:23.308871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:23.108661Z","title":"Incremental learning robot task representation and identification,","venue":null,"work_id":"a1137e0f-5cc0-4950-b47a-d19a457cd87b","year":2020},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.843191Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:9b0d0407938578bb570800c90859ac94e569762a543e3528848daab5c4027a8f","observation_id":"d5987b84-ce95-43db-ab73-5a325e7c1e52","resolution":{"observed_at":"2026-08-06T15:59:23.197247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.990443Z","title":"Rule-based safe probabilistic movement primitive control via control barrier functions,","venue":null,"work_id":"944e0ff4-2a5d-41ee-88f9-b743bff1d250","year":2022},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.849344Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:2f3b90f7d2dafc5a5d37434a95a9530262231ea84daa3a17e545e8653befe86c","observation_id":"3ed6133e-8f75-4fb0-adfe-5be748c879e0","resolution":{"observed_at":"2026-08-06T15:59:23.043239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.838662Z","title":"Reactive temporal logic-based planning and control for interactive robotic tasks,","venue":null,"work_id":"586f968c-2b8b-457a-8e03-26ebc4fab413","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.854753Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:40a99e773c8b577dd52ddea2c88039774e487e8e549d711bc2cdb3554c5c4a94","observation_id":"14c5c527-7c1a-4ffc-be71-1393dc57fcdb","resolution":{"observed_at":"2026-08-06T15:59:22.900374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:20.859356Z","title":"Colledanchise and P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.859356Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:8962c072c2d5403c32c0b246e8572bb6243b8bfed19f2fdcb242c5346c572467","observation_id":"8e0fc0ea-0d55-4ff3-bfb1-e69852f9c039","resolution":{"observed_at":"2026-08-06T15:59:20.859356Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.684052Z","title":"Behavior trees in robot control systems,","venue":null,"work_id":"d6585054-64cd-446f-bb12-bbb22ff5eb4f","year":2022},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.864734Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:8ccd4e0b3507193d96ae769436ea7076515f8f35a62d2daf0a61cd0320b0ede9","observation_id":"2e0dcdb0-9fa4-4837-a6cb-f77b249d7d44","resolution":{"observed_at":"2026-08-06T15:59:22.742389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.16137","last_updated":"2024-05-25T09:14:10Z","snapshot_observed_at":"2026-08-14T13:35:38.179004Z","submitted_at":"2024-05-25T09:14:10Z","title":"Comparison between Behavior Trees and Finite State Machines","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.16137","snapshot_observed_at":"2026-08-06T15:59:20.869324Z","title":"Comparison between behavior trees and finite state machines,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.869324Z"},"links":{"cited_paper":"/paper/2405.16137","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:a0f1ef887449f88e0b0ef096b562f1bcd168dc9bbe184f164356c5723b991e65","observation_id":"e67264e7-630d-4523-baac-2d4f782d6f2b","resolution":{"observed_at":"2026-08-06T15:59:20.869324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.14634","last_updated":"2025-03-08T16:00:30Z","snapshot_observed_at":"2026-08-14T13:35:37.636779Z","submitted_at":"2024-06-20T18:01:36Z","title":"Adaptive Manipulation using Behavior Trees","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.14634","snapshot_observed_at":"2026-08-06T15:59:20.874636Z","title":"Adaptive manipulation using behavior trees,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.874636Z"},"links":{"cited_paper":"/paper/2406.14634","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:270ea01a5b55a3b621a87fe1d5b63eccdca9859cd6168e8d270a501363f2fd32","observation_id":"135f4222-86c5-4686-9580-c6e984a9f93c","resolution":{"observed_at":"2026-08-06T15:59:20.874636Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.527424Z","title":"Backpropa- gation through signal temporal logic specifications: In- fusing logical structure into gradient-based methods,","venue":null,"work_id":"303cfe1f-cacc-4033-85ed-ac8d738c0b4b","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.879684Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:ab3ccda243824a8dd4df0abe1d17ad822f4daa12497046ce9cc7d9573df6b7f6","observation_id":"48549fe6-a2cd-432f-a0f7-c38bf22b0ed8","resolution":{"observed_at":"2026-08-06T15:59:22.607351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-13T11:43:28.921803Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-06T15:59:20.884693Z","title":"Nl2tl: Trans- forming natural languages to temporal logics using large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.884693Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:341821e9fa2f3f61ab5db63065057b316e3ba889d6d0efdbf5fc003f0bcdad14","observation_id":"55d4b9e9-4e3f-46e4-b373-c012799c416a","resolution":{"observed_at":"2026-08-06T15:59:20.884693Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.374514Z","title":"Chatstl: A framework of translation from nat- ural language to signal temporal logic specifications for autonomous vehicle navigation out of blocked scenarios,","venue":null,"work_id":"75297152-6275-426b-9f89-e1f9e72b643f","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.889817Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:7c47e248aaaeb020da398169d19947ce5250bfc0492672883edf2044b59cfc52","observation_id":"251c011f-c179-46b9-880f-f9a6fa2eeaee","resolution":{"observed_at":"2026-08-06T15:59:22.460915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.203038Z","title":"Formal synthesis of con- trollers for safety-critical autonomous systems: Devel- opments and challenges,","venue":null,"work_id":"475eacd2-2db5-449d-86a4-62c264950b32","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.895130Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:5ff60380bf427420284b6f668f8f2163f6e0dc732dc8a7366d0125f701a0ff3b","observation_id":"9fba2e12-5ea8-4b09-8927-22cbd018444d","resolution":{"observed_at":"2026-08-06T15:59:22.282580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:22.052505Z","title":"On the programming effort required to generate behavior trees and finite state machines for robotic applications,","venue":null,"work_id":"c9e05b55-640c-4570-997c-f1f09e8d9690","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.899981Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:8260f0930ce7795cdcf4e1c2c3756d2a0a73e424abb83ba2a3d9164dffe290f5","observation_id":"5be89ab1-e219-4b53-a180-4495f963ec25","resolution":{"observed_at":"2026-08-06T15:59:22.129448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.866337Z","title":"A novel robust imitation learning framework for complex skills with limited demonstrations,","venue":null,"work_id":"43c0a810-45a8-450a-bd9f-e4be79aaa848","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.904491Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:fc2fe80e0e4ecb6a4376813892325e9a52272d7157613c381a1692d274ec731c","observation_id":"1861c172-c57d-4598-9349-6f508087f7ef","resolution":{"observed_at":"2026-08-06T15:59:21.972764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.08625","last_updated":"2025-05-13T14:45:13Z","snapshot_observed_at":"2026-08-14T13:35:00.796703Z","submitted_at":"2025-05-13T14:45:13Z","title":"Beyond Predefined Actions: Integrating Behavior Trees and Dynamic Movement Primitives for Robot Learning from Demonstration","version":1},"cited_work":{"arxiv_id":"2505.08625","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.08625","snapshot_observed_at":"2026-08-06T15:59:21.116307Z","title":"Beyond Predefined Actions: Integrating Behavior Trees and Dynamic Movement Primitives for Robot Learning from Demonstration","venue":"cs.RO","work_id":"6b8d0c8e-fc73-4beb-b65d-34e8a567ee31","year":2025},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.909118Z"},"links":{"cited_paper":"/paper/2505.08625","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:d60c9d8a35885a3e6698dded8cd03d1fa8abc13a461317d91238aa364041ca66","observation_id":"6a1c94c7-59ff-438d-8f16-261ad80cf7e7","resolution":{"observed_at":"2026-08-06T15:59:21.122132Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.730919Z","title":"Motion planning with temporal-logic specifications: Progress and challenges,","venue":null,"work_id":"b3bbccaa-302b-4ac5-bf1c-203946a1a006","year":2015},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.914000Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:178174bec491f6b52336c77246f8b3529f00ceee9a4b3be857b62114e67e9ec0","observation_id":"7fb40662-9c35-4bb6-ac1b-40ca6c057e17","resolution":{"observed_at":"2026-08-06T15:59:21.794743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.594172Z","title":"Pddl— the planning domain definition language,","venue":null,"work_id":"5a01ce27-7b34-4285-9f20-c918d6c927d1","year":1998},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.918673Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:49b1b3c1396d8ca0d1545138783bcfb2223698f5e36edc6d9e919c66e278826a","observation_id":"29067b3c-904e-4a96-9c08-ca6661ac35db","resolution":{"observed_at":"2026-08-06T15:59:21.657584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09536","last_updated":"2025-03-06T19:37:39Z","snapshot_observed_at":"2026-08-14T13:35:28.464419Z","submitted_at":"2024-09-14T21:36:22Z","title":"VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.09536","snapshot_observed_at":"2026-08-06T15:59:20.924468Z","title":"Vernacopter: Disambiguated natural-language- driven robot via formal specifications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.924468Z"},"links":{"cited_paper":"/paper/2409.09536","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:2665a6c66e9e4fd8f521fb8848d2bb2e0693467a97cdd2a2c5e8879b6ff6ae10","observation_id":"f734fa9e-5dd0-40a1-9021-765cb25f87e2","resolution":{"observed_at":"2026-08-06T15:59:20.924468Z","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-08-06T15:59:20.929539Z","title":"Control barrier functions for signal temporal logic tasks,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.929539Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:5e284f6d0e8bf23e773d6e9a2c0e8562a96988044f5cb6cf31f30d22c7374b9c","observation_id":"80c6dd07-070d-4916-b4b4-821cf1fc5147","resolution":{"observed_at":"2026-08-06T15:59:20.929539Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.441177Z","title":"Dynamic movement primitives in robotics: A tutorial survey,","venue":null,"work_id":"a6c5f337-0c19-41c5-ae52-014e6c448456","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.934607Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:4e32b23b18ee44f3e62be56dc11e4eaa07848d142f727fec9543ec0ca36dfbdc","observation_id":"7eaf6309-499f-47ee-b870-64817f3a1584","resolution":{"observed_at":"2026-08-06T15:59:21.520912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.388571Z","title":"A novel dmps framework for robot skill generalizing with obstacle avoidance: Taking volume and orientation into consideration,","venue":null,"work_id":"ef6d3241-21b7-474f-a953-f479da8da058","year":2025},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.939674Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:1c37a67e7080c2b3fc7f90ca3103c9a1d099f883b8e3bde14896d65a90f2c3c7","observation_id":"28dc87ea-df19-4445-8a0b-06c99774eacd","resolution":{"observed_at":"2026-08-06T15:59:21.400523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.347979Z","title":"Logic program- ming for deliberative robotic task planning,","venue":null,"work_id":"dda8d83f-5433-4817-8910-4e12d741da7a","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.944259Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:81b2e5482b4561d7109aebaf164af8f837c9123d685c4a079fc6d2377f0a9026","observation_id":"62b3e2aa-1c9c-41da-a2ed-448cba2d85dd","resolution":{"observed_at":"2026-08-06T15:59:21.362404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.293840Z","title":"Continuous- time control synthesis under nested signal temporal logic specifications,","venue":null,"work_id":"619910b6-18b2-42ae-aa96-1649ea82629c","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.948980Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:601b7f02bc6875458e76d93fa9bb70bee1dee45d5bb8297ba08c16f029fd50aa","observation_id":"332c60c6-6789-4cab-a95b-d7e0681dab1a","resolution":{"observed_at":"2026-08-06T15:59:21.318884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.08714","last_updated":"2023-10-12T20:52:41Z","snapshot_observed_at":"2026-08-14T13:35:30.611022Z","submitted_at":"2023-10-12T20:52:41Z","title":"A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.08714","snapshot_observed_at":"2026-08-06T15:59:20.953409Z","title":"A flexible and efficient temporal logic tool for python: Pytelo,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.953409Z"},"links":{"cited_paper":"/paper/2310.08714","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:1be6a7eaca9ebc6a5a470f7812da275e205bc3e3536fb3673a0fb8d5a633417a","observation_id":"702855b2-613f-49ae-9d0d-5136c1e712f3","resolution":{"observed_at":"2026-08-06T15:59:20.953409Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.239329Z","title":"Nl2stl: Transformation from logic natural language to signal temporal logics using llama2,","venue":null,"work_id":"92b6b2f4-fff8-453f-b90c-4c91f5b3825b","year":2024},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.958598Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:caa8fc2f37bf85a1dfc704221148b4d70ba234902e3e7195f1a5e8c0ad9d5e97","observation_id":"a81eca46-69dc-4ac2-b0f2-217c7b0def22","resolution":{"observed_at":"2026-08-06T15:59:21.260125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.13376","last_updated":"2025-05-19T17:19:43Z","snapshot_observed_at":"2026-08-14T13:35:03.439567Z","submitted_at":"2025-05-19T17:19:43Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.13376","snapshot_observed_at":"2026-08-06T15:59:20.964158Z","title":"Seeing, saying, solving: An llm-to-tl framework for cooperative robots,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.964158Z"},"links":{"cited_paper":"/paper/2505.13376","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:4303eb40ace0921520016be43a74258054811e842ea68580143c16f47127f2ff","observation_id":"70e55a84-3494-412c-870a-395a8ef664e5","resolution":{"observed_at":"2026-08-06T15:59:20.964158Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-14T13:35:01.741502Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"cited_work":{"arxiv_id":"2505.20658","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.20658","snapshot_observed_at":"2026-08-06T15:59:21.045639Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","venue":"cs.CL","work_id":"606db401-2a45-4bd8-b11f-653d7a6f9973","year":2025},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.968818Z"},"links":{"cited_paper":"/paper/2505.20658","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:70d945024612e765fe628f9ade5d63ee9c174c9ca8a1388e897efe284661aeed","observation_id":"3de59024-e26f-423c-8dc1-18280f580eae","resolution":{"observed_at":"2026-08-06T15:59:21.050864Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.06399","last_updated":"2023-12-19T16:11:05Z","snapshot_observed_at":"2026-08-13T10:57:16.074753Z","submitted_at":"2023-07-12T18:29:37Z","title":"Designing Behavior Trees from Goal-Oriented LTLf Formulas","version":2},"cited_work":{"arxiv_id":"2307.06399","doi":null,"metadata_source":"pith","pith_arxiv_id":"2307.06399","snapshot_observed_at":"2026-08-06T15:59:21.019182Z","title":"Designing Behavior Trees from Goal-Oriented LTLf Formulas","venue":"cs.AI","work_id":"8f46c0d8-b064-47ef-9b74-49da6d74f0bf","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.973496Z"},"links":{"cited_paper":"/paper/2307.06399","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:442472e944b9d5f904b2512e929cea6c8ba85ca540ae377e1763081972a03261","observation_id":"f536f18c-9b69-43cc-83a7-ded0656603be","resolution":{"observed_at":"2026-08-06T15:59:21.028350Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:59:21.205938Z","title":"Spatial: monitoring and planning of robotic tasks using spatio-temporal logic specifications,","venue":null,"work_id":"b4a815d0-1570-4d05-815f-f93b38e1e9e9","year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.978319Z"},"links":{"citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:ab9b5b6497c0f3ea8e851a2a1551051cbafea3936d58b141de585ca78da17fd7","observation_id":"3aa5636d-3ad8-45e8-86ce-3e2dcd95eff1","resolution":{"observed_at":"2026-08-06T15:59:21.217550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-11T17:58:57.268767Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":3,"verified_fuzzy":20},"total_outbound_references":33},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2507.14582."}