Pith. sign in

Paper Citation Record · LEDGER

A Behavior Tree-inspired programming language for autonomous agents

As of 13 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2412.08654.

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

pith.paper-citation-record.v1
2412.08654 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T11:47:02.401014Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

31 of 31 outbound references displayed

  • verified exact2
  • verified fuzzy29
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9a019176-c595-49ed-a1ce-4cfe651863b7 · outbound

This paper cites Behavior trees: Breaking the cycle of mis- use.

A Behavior Tree-inspired programming language for autonomous agents Behavior trees: Breaking the cycle of mis- use

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.682265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.326214Z digest=sha256:4917b27cd886021964f31fb7c254011ff1679f7b1d16926a3b984cf09adc806b

Observation b6facbe0-4b6c-4368-9e06-491501271e22 · outbound

This paper cites A framework for formal verification of behavior trees with linear temporal logic.IEEE Robotics and Automation Letters, 5(2):2341–2348, 2020.

A Behavior Tree-inspired programming language for autonomous agents A framework for formal verification of behavior trees with linear temporal logic.IEEE Robotics and Automation Letters, 5(2):2341–2348, 2020

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.675536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.329403Z digest=sha256:68397d4ef29bcb9bf7aad6bc7c3723810281d47ba7ba89e90a713812ce65ea71

Observation af76c2e9-6226-4b82-9a32-1f18c312cd9d · outbound

This paper cites A principled analysis of Behavior Trees and their generalisations.

A Behavior Tree-inspired programming language for autonomous agents A principled analysis of Behavior Trees and their generalisations

Reference 3

Resolution
verified exact
local_arxiv, observed 2026-08-12T11:47:02.489647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.331627Z digest=sha256:50edaa45b14e449e6e15f5f0c85139c1275a4031add0797f01afdf0f31262d9f

Observation 062b7306-e9b4-4a89-a3f2-9f02f5761f2a · outbound

This paper cites An expressiveness hierarchy of behavior trees and related architectures.

A Behavior Tree-inspired programming language for autonomous agents An expressiveness hierarchy of behavior trees and related architectures

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.668552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.334184Z digest=sha256:38d2a22dca32e0ee591cf10c118b2ad96e7ee54da043bdfa59323187212e2a0e

Observation 1e3a4d08-313f-4b31-b96a-5aa804797245 · outbound

This paper cites On modularity in reactive control architectures, with an application to formal verification.

A Behavior Tree-inspired programming language for autonomous agents On modularity in reactive control architectures, with an application to formal verification

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.661477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.336843Z digest=sha256:61bd7c643855595ffe0348566a678cb74a29af73aaecb474ce6ca9919e661e3f

Observation 3820bfc9-ba82-4d90-ad23-835ec781009e · outbound

This paper cites Improving the parallel exe- cution of behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Improving the parallel exe- cution of behavior trees

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.655352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.339710Z digest=sha256:89075ffa2d789d54d4ddba5f25abd467813acaf435f8a72108a39286ae4d2b10

Observation 63a1fe4f-825a-4946-980e-497540e41f3d · outbound

This paper cites Handling concurrency in be- havior trees.

A Behavior Tree-inspired programming language for autonomous agents Handling concurrency in be- havior trees

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.649759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.342502Z digest=sha256:57ab3d31e9c5df7dc72d663b13fd03e3955415b0dc5897fe06c98c8110cda281

Observation ebc4fab1-da46-474f-a520-9f1a84c93f3b · outbound

This paper cites On the implementation of be- havior trees in robotics.

A Behavior Tree-inspired programming language for autonomous agents On the implementation of be- havior trees in robotics

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.643659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.344973Z digest=sha256:c230b4e9b699cde8d3e15a1610e431120fd37e2b31b92de1cdbabdb8ac743f6f

Observation 9a3d9baf-769f-4d94-9c39-30ae6d732163 · outbound

This paper cites How behavior trees generalize the teleo-reactive paradigm and and-or-trees.

A Behavior Tree-inspired programming language for autonomous agents How behavior trees generalize the teleo-reactive paradigm and and-or-trees

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.636986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.347553Z digest=sha256:5c54f168a911461b9635ab7f24bc63382295c3f6b25acea5194e48c9ace622ed

Observation 2e503dca-8438-4a30-b083-0634803c59ea · outbound

This paper cites Behavior Trees in Robotics and Al: An Introduction.

A Behavior Tree-inspired programming language for autonomous agents Behavior Trees in Robotics and Al: An Introduction

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.630325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.350035Z digest=sha256:29a00e408a8cae98cf2316bc3adfe103780e57adbae3a294dc6b1f90c7e3d2f8

Observation e4e5f5d2-e2c2-4d60-bdfe-6ce8953c98f5 · outbound

This paper cites Notes on structured programming, 1970.

A Behavior Tree-inspired programming language for autonomous agents Notes on structured programming, 1970

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.623496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.352466Z digest=sha256:354d49ba4c858cf4ab0392e13ad9a7b8c9c458c239ae614cef3caf8307898325

Observation 7661403e-9cb4-4f2b-9838-dc5e384c3d56 · outbound

This paper cites Behaviortree.cpp.

A Behavior Tree-inspired programming language for autonomous agents Behaviortree.cpp

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.616883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.354988Z digest=sha256:e60dbd4ab9a7fa3cb287034b9e1b483e30b662f5b302f300528a4d8b1aab2858

Observation b4f82184-a224-4888-b262-1f2f87f798b1 · outbound

This paper cites Behavior trees in action: a study of robotics applica- tions.

A Behavior Tree-inspired programming language for autonomous agents Behavior trees in action: a study of robotics applica- tions

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.610299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.357563Z digest=sha256:19b6d9176fcaf7c01b02145947be57b71127fa139bdd5fed70c1a6ae10ee4e48

Observation 8735662f-2553-4940-ae6d-ef1a86a5a38e · outbound

This paper cites Evaluating behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Evaluating behavior trees

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.603451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.360150Z digest=sha256:96d9a857544adbbdc67e68592835735f73cb45a58932946d30a0093c4e1855a1

Observation 54fe26ab-8e2a-407b-8cb2-2b5f00a7f821 · outbound

This paper cites Introduction to automata theory, languages, and computation.

A Behavior Tree-inspired programming language for autonomous agents Introduction to automata theory, languages, and computation

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.597247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.363412Z digest=sha256:15180fdb03c7851da4f53430a1a316f9d6575a0a490315835921e7733ce2d8f9

Observation 3040c923-06f6-468d-89d2-c770384a2302 · outbound

This paper cites A survey of behavior trees in robotics and ai.

A Behavior Tree-inspired programming language for autonomous agents A survey of behavior trees in robotics and ai

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.590441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.365870Z digest=sha256:d8dc7a2decbf41a38e63799de92d1f662e36a433d3dbe4b79ebea337beca3b66

Observation f6e6b7b5-15b6-40b7-9b56-af456311f2ee · outbound

This paper cites Handling complexity in the halo 2 ai, 2005.

A Behavior Tree-inspired programming language for autonomous agents Handling complexity in the halo 2 ai, 2005

Reference 17

Resolution
verified exact
raw_fallback, observed 2026-08-12T11:47:02.479928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.368280Z digest=sha256:3c7cf608cc81a2ced1b25197067abf8cef994475979b99eed9d7f7b42b88b665

Observation c3808825-edb8-43b2-8f19-a5b06a1065f6 · outbound

This paper cites Improving the performance of learned controllers in behavior trees using value function estimates at switching boundaries.

A Behavior Tree-inspired programming language for autonomous agents Improving the performance of learned controllers in behavior trees using value function estimates at switching boundaries

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.583649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.370665Z digest=sha256:0eae1cdb375716f88818172dac082cb568187fce4de00625680a66a0e98790d5

Observation edef215d-7349-4b21-9475-2429619b548b · outbound

This paper cites Embedded software.

A Behavior Tree-inspired programming language for autonomous agents Embedded software

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.577631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.372941Z digest=sha256:4243dd8843e0c3d9a4b84f396f5060991dcb441028db7e4ac5036499505a8477

Observation 504f968b-469c-403d-8f7f-d0aeb9e2f9f3 · outbound

This paper cites Robot operating system 2: Design, architecture, and uses in the wild.

A Behavior Tree-inspired programming language for autonomous agents Robot operating system 2: Design, architecture, and uses in the wild

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.572102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.375239Z digest=sha256:96a4edf26aabb171da330f02f1f01e9995803fe905874af67f5e80686b4906ec

Observation a2423c7d-2897-447b-9abb-e696d15fad76 · outbound

This paper cites Haskell 2010 language report.

A Behavior Tree-inspired programming language for autonomous agents Haskell 2010 language report

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.566294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.377825Z digest=sha256:b18f4ed1ab358dd84faca7f5c5297fb667a004e1858793d58f5e3dc95de15541

Observation 1213a09e-4df3-4798-8804-d26b74ddb810 · outbound

This paper cites Towards a unified behavior trees framework for robot control.

A Behavior Tree-inspired programming language for autonomous agents Towards a unified behavior trees framework for robot control

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.560642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.380278Z digest=sha256:c78951e57fb4b4cd98eeaa33c9af726e4cece63ff972901d09a27c46729ccab1

Observation bb3d535a-270b-40bf-a99e-283f2603729e · outbound

This paper cites Teleo-reactive programs for agent control.

A Behavior Tree-inspired programming language for autonomous agents Teleo-reactive programs for agent control

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.553683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.382703Z digest=sha256:989587720105f96a487d770a1ff9a1cbf7ba6105c5f4f2ddc2ff6c479e8131b0

Observation 17f291f1-0440-427a-b550-f84bd7233a91 · outbound

This paper cites Increasing modularity of uav control systems using computer game behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Increasing modularity of uav control systems using computer game behavior trees

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.546962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.385077Z digest=sha256:120ab40faf61e373b5c7e69f599ac880b9863480f8cd2112092c89099ace52fe

Observation 560238bd-5e59-436d-b41b-9736e777178b · outbound

This paper cites Convergence analysis of hybrid control systems in the form of backward chained behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Convergence analysis of hybrid control systems in the form of backward chained behavior trees

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.540013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.387531Z digest=sha256:a7198c268177ed4ed218b90074544d094a4f211b5b808fd3b826d0849beb7ed1

Observation 6bfb8e5e-5d00-4080-8ebf-e3f4d345799c · outbound

This paper cites Behavior trees in robot control systems.

A Behavior Tree-inspired programming language for autonomous agents Behavior trees in robot control systems

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.533009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.389894Z digest=sha256:9a61e567077e0164c2caab5b3c95c5f47ef2669d1ee2654c1c47eba83529ea95

Observation 11446b00-b805-4dfe-83e5-4109133ee59e · outbound

This paper cites Behavior trees with dataflow: Coordinating re- active tasks in lingua franca.

A Behavior Tree-inspired programming language for autonomous agents Behavior trees with dataflow: Coordinating re- active tasks in lingua franca

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.526080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.392254Z digest=sha256:b0fed0a81462e90ba1e239b14f139b84326de7ca100d27115eb432ee4fea79a7

Observation 71ca376b-25c4-42ca-9a32-a833d989225d · outbound

This paper cites Behaverify: verifying temporal logic specifications for behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Behaverify: verifying temporal logic specifications for behavior trees

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.518800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.394603Z digest=sha256:2795a47c63f8f5ced5a0462f537d8565c53f6a7e6e2eee4ae5becd59caee1080

Observation b9bd1fa3-ed61-4c4e-9d19-a8ccaeaa27b5 · outbound

This paper cites Parameterizing behavior trees.

A Behavior Tree-inspired programming language for autonomous agents Parameterizing behavior trees

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.511444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.397247Z digest=sha256:8080c190bd239aea11fdc55a23e9a0fe85ae49c8cd803c8d03d4d5f34c582a99

Observation 5d201c35-3e90-43fa-98d1-6a4e080dd6e0 · outbound

This paper cites Adding neural network con- trollers to behavior trees without destroying performance guarantees.

A Behavior Tree-inspired programming language for autonomous agents Adding neural network con- trollers to behavior trees without destroying performance guarantees

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.497057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.401014Z digest=sha256:f2e179e4537665562e54ff1691574a30682f26cf74a0258101de9f283479923a

Observation e47957c6-fae1-400d-9edf-84c6878ab09a · outbound

This paper cites Springer, 2011.

A Behavior Tree-inspired programming language for autonomous agents Springer, 2011

Reference 2011

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T11:47:02.504387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T11:47:02.399159Z digest=sha256:eca8617f34ec3aaa41781b0051e877f9a59ff3b5ced87870ed1a639bf941ce9d

Pith citing papers

No inbound Pith citation observations are available.