Paper Citation Record · LEDGER

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives

As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2507.14582.

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

pith.paper-citation-record.v1
2507.14582 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:59:20.978319Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact3
verified fuzzy20
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6442a06b-5672-480f-85df-c38365025e2b · outbound

This paper cites Integrated task and motion planning,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Integrated task and motion planning,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:23.575393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 04de59df-728f-46b5-a88c-15f861000c45 · outbound

This paper cites Recent trends in task and motion planning for robotics: A survey,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Recent trends in task and motion planning for robotics: A survey,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.822971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b44765c8-92e6-4ab9-895e-ec92580c3a28 · outbound

This paper cites A survey of optimization-based task and motion planning: From classical to learning approaches,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives A survey of optimization-based task and motion planning: From classical to learning approaches,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:23.456819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7ba379e7-7094-4af4-8e35-f1934b8bd8d0 · outbound

This paper cites Recent advances in robot learning from demonstration,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Recent advances in robot learning from demonstration,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.832653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f2a83c0-448d-4dc7-b7bd-5273c9458991 · outbound

This paper cites A constrained dmps framework for robot skills learning and generalization from human demonstrations,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives A constrained dmps framework for robot skills learning and generalization from human demonstrations,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:23.308871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d5987b84-ce95-43db-ab73-5a325e7c1e52 · outbound

This paper cites Incremental learning robot task representation and identification,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Incremental learning robot task representation and identification,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:23.197247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3ed6133e-8f75-4fb0-adfe-5be748c879e0 · outbound

This paper cites Rule-based safe probabilistic movement primitive control via control barrier functions,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Rule-based safe probabilistic movement primitive control via control barrier functions,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:23.043239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 14c5c527-7c1a-4ffc-be71-1393dc57fcdb · outbound

This paper cites Reactive temporal logic-based planning and control for interactive robotic tasks,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Reactive temporal logic-based planning and control for interactive robotic tasks,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.900374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8e0fc0ea-0d55-4ff3-bfb1-e69852f9c039 · outbound

This paper cites Colledanchise and P.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Colledanchise and P

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.859356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e0dcdb0-9fa4-4837-a6cb-f77b249d7d44 · outbound

This paper cites Behavior trees in robot control systems,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Behavior trees in robot control systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.742389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e67264e7-630d-4523-baac-2d4f782d6f2b · outbound

This paper cites Comparison between Behavior Trees and Finite State Machines.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Comparison between Behavior Trees and Finite State Machines

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.869324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 135f4222-86c5-4686-9580-c6e984a9f93c · outbound

This paper cites Adaptive Manipulation using Behavior Trees.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Adaptive Manipulation using Behavior Trees

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.874636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48549fe6-a2cd-432f-a0f7-c38bf22b0ed8 · outbound

This paper cites Backpropa- gation through signal temporal logic specifications: In- fusing logical structure into gradient-based methods,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Backpropa- gation through signal temporal logic specifications: In- fusing logical structure into gradient-based methods,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.607351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 55d4b9e9-4e3f-46e4-b373-c012799c416a · outbound

This paper cites NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.884693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 251c011f-c179-46b9-880f-f9a6fa2eeaee · outbound

This paper cites Chatstl: A framework of translation from nat- ural language to signal temporal logic specifications for autonomous vehicle navigation out of blocked scenarios,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Chatstl: A framework of translation from nat- ural language to signal temporal logic specifications for autonomous vehicle navigation out of blocked scenarios,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.460915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9fba2e12-5ea8-4b09-8927-22cbd018444d · outbound

This paper cites Formal synthesis of con- trollers for safety-critical autonomous systems: Devel- opments and challenges,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Formal synthesis of con- trollers for safety-critical autonomous systems: Devel- opments and challenges,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.282580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5be89ab1-e219-4b53-a180-4495f963ec25 · outbound

This paper cites On the programming effort required to generate behavior trees and finite state machines for robotic applications,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives On the programming effort required to generate behavior trees and finite state machines for robotic applications,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:22.129448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1861c172-c57d-4598-9349-6f508087f7ef · outbound

This paper cites A novel robust imitation learning framework for complex skills with limited demonstrations,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives A novel robust imitation learning framework for complex skills with limited demonstrations,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.972764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6a1c94c7-59ff-438d-8f16-261ad80cf7e7 · outbound

This paper cites Beyond Predefined Actions: Integrating Behavior Trees and Dynamic Movement Primitives for Robot Learning from Demonstration.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Beyond Predefined Actions: Integrating Behavior Trees and Dynamic Movement Primitives for Robot Learning from Demonstration

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:59:21.122132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7fb40662-9c35-4bb6-ac1b-40ca6c057e17 · outbound

This paper cites Motion planning with temporal-logic specifications: Progress and challenges,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Motion planning with temporal-logic specifications: Progress and challenges,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.794743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 29067b3c-904e-4a96-9c08-ca6661ac35db · outbound

This paper cites Pddl— the planning domain definition language,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Pddl— the planning domain definition language,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.657584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f734fa9e-5dd0-40a1-9021-765cb25f87e2 · outbound

This paper cites VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.924468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c6dd07-070d-4916-b4b4-821cf1fc5147 · outbound

This paper cites Control barrier functions for signal temporal logic tasks,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Control barrier functions for signal temporal logic tasks,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.929539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7eaf6309-499f-47ee-b870-64817f3a1584 · outbound

This paper cites Dynamic movement primitives in robotics: A tutorial survey,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Dynamic movement primitives in robotics: A tutorial survey,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.520912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 28dc87ea-df19-4445-8a0b-06c99774eacd · outbound

This paper cites A novel dmps framework for robot skill generalizing with obstacle avoidance: Taking volume and orientation into consideration,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives A novel dmps framework for robot skill generalizing with obstacle avoidance: Taking volume and orientation into consideration,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.400523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 62b3e2aa-1c9c-41da-a2ed-448cba2d85dd · outbound

This paper cites Logic program- ming for deliberative robotic task planning,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Logic program- ming for deliberative robotic task planning,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.362404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 332c60c6-6789-4cab-a95b-d7e0681dab1a · outbound

This paper cites Continuous- time control synthesis under nested signal temporal logic specifications,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Continuous- time control synthesis under nested signal temporal logic specifications,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.318884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 702855b2-613f-49ae-9d0d-5136c1e712f3 · outbound

This paper cites A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.953409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a81eca46-69dc-4ac2-b0f2-217c7b0def22 · outbound

This paper cites Nl2stl: Transformation from logic natural language to signal temporal logics using llama2,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Nl2stl: Transformation from logic natural language to signal temporal logics using llama2,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.260125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 70e55a84-3494-412c-870a-395a8ef664e5 · outbound

This paper cites Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.964158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3de59024-e26f-423c-8dc1-18280f580eae · outbound

This paper cites Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:59:21.050864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f536f18c-9b69-43cc-83a7-ded0656603be · outbound

This paper cites Designing Behavior Trees from Goal-Oriented LTLf Formulas.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Designing Behavior Trees from Goal-Oriented LTLf Formulas

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:59:21.028350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3aa5636d-3ad8-45e8-86ce-3e2dcd95eff1 · outbound

This paper cites Spatial: monitoring and planning of robotic tasks using spatio-temporal logic specifications,.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Spatial: monitoring and planning of robotic tasks using spatio-temporal logic specifications,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:59:21.217550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.