{"as_of":"2026-08-07T16:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8e55c86b35b5d4d524e6c1a30bfe684eb2794d604f02b43d759fbf538fab1d17","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-07T06:34:17.273281+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-06T15:50:03.290916Z","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:e88c869f7792a5f48a2805ab308e3f4008256f3c307d1c8e5d92ff01ef4a8657","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:eb8ae6dd8d9a56e28392e344a4bcfc64f952fd86fefe98361bb670603f4dd8dc","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-06T15:50:03.290916Z","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:d6bd51ef48c57f5f238513e03173311ea87f8175e4af60e7afd88598b28164d1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:46079ff926e12fd3210a26c99296043be472e762d97fc327d47141a362a7459c","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-06T15:50:03.290916Z","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:362118963dba6f3c6627ed8ebea1df46eb8f3534287662433f04868ef3f0ca3b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:18d9e7d6e306df17ddbf8a1322e7c1d1432e319a948cb250a589cf8bbe060613","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:9058efee7141b2eb176eb50ac6944e98d616917aaab447d0da8b9b249f615a26","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:788529d101db1e36f588a7bca916838bcb1425d72d7a50c1c8c9c60ed2426fda","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:c532792a40204c8d4533b246c59c33fe58a5b28a122a327349cf643988d5a15c","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-06T15:50:03.290916Z","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:317e4b71e38d9302a6dd9c22f556e1eac932fed2b8e2b146fc4ff42e118a59b7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-04T05:30:16.656603Z","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-06T15:50:03.290916Z","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:acceace73b5b4f10bc7239c15f9539b6f84d50333ba570604094c1b83572b72b","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-03T19:11:07.979631Z","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-06T15:50:03.290916Z","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:455f4d311985d3e777ad9ac327a87a725fc06fcaf1ce3226af3000c24ccd1a93","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-06T15:50:03.290916Z","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:7acc861330deacd1596d0e8febbfb41537ccecff862042f1edc756585d92ff18","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:26:42.770863Z","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-06T15:50:03.290916Z","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:153299295b78987d965480ebec37e1d23669e6e2ddfc0a5aba62ec60570efed2","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-06T15:50:03.290916Z","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:113589851056cc051db91be8668f4e5959da95b4decd8aa174f335f52ba745dc","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:0bda249cb0a407fccaabe35e73c46c02bcf3a6afbda0e56f9aec7f1a537a58ca","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:cf9d60506b2c6651409726cd320545cf96c43a7a0590f7a93842d379cc160eb8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:5907d3d9e2af7911224da5947f36243a4ec61c570312a24620d0859427950bac","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:45:44.674981Z","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-06T15:50:03.290916Z","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:a2f1e0868962831f5269fd762cd9f9ed6ba8f50d83260e675a502b87ce5b7956","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:3d5469b05e5569e8a8ab89e749b4e81922535e3ef19100a586cc19cf25781211","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:4ee7e66a2bf81b480f69b1bddb7a298887a84a9019654eda5a3e540f96ab16f6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T19:15:29.988880Z","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-06T15:50:03.290916Z","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:9f6f1b52ea09eafbfd418afcb678e348bf9ce96084e28c0c630e6e9a1fc2fc3b","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-06T15:50:03.290916Z","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:16f76f456df2e645788c44d5b519c894ac48eb7357f2afa0d43b1ab5090fa7ea","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-06T15:50:03.290916Z","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:e0c7287c7d26e1773612f0588d797eff0d1b630ce275f01394be946b5ef77fec","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:322875b35e0d398e0471c9e2317e63a2ae558b3b8f6d64b116c9062d0627f22d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:1ef345c1ba31bc7c0725b17722ebbb0063cb13ebdfcbd49734461bf96fcf3a50","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:f84709b30602d5510d60924d557aa2136fcf0abc78c0ac8fcbfee747cb41ace3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T16:32:15.322548Z","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-06T15:50:03.290916Z","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:5fdda1a04939e77cadc410d4108a5b1141cc4f6cae165ebf6499896c0e33b9bd","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-06T15:50:03.290916Z","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:2af4077c3a9536e2ce61d4e08bf550ebceb4a936340e5c67d8d8193e68a8fc70","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:43:01.614165Z","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-06T15:50:03.290916Z","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:3888e40a757c4b89774f5682f4ff68dbb1ea652725c789156e187757f2c967ff","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-07T13:47:31.138300Z","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-06T15:50:03.290916Z","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:5c35d0b3b1bb5a8146d35d7cbc3173c2b19f59c38f37de77a028f8eb5dffa8a3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:03:25.327490Z","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-06T15:50:03.290916Z","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:201d29c7780f65c0234008b2617ac397f1adff92016da45ba83a49659ba4a512","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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:649098c9f316510a99ea37d78773513ebba189cdef87e42fc2fcbd678e33fae5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:50:03.290916Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2507.14582."}