Paper Citation Record · LEDGER

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

As of 19 August 2026, this Paper Citation Record lists 68 of 68 outbound references and 4 inbound Pith citation observations for arXiv:2505.00562.

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

pith.paper-citation-record.v1
2505.00562 v1

Coverage vector

measured 68 of 68 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:44:57.944557Z

measured 72 of 72 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-17T15:14:25.558878Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-17T15:14:26.156169Z

Reference resolution

68 of 68 outbound references displayed

verified exact3
verified fuzzy32
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 314e4483-cfd6-4cb1-b62d-3d9b486399f5 · outbound

This paper cites write newline.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.613502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62931e90-01d9-43fa-bf19-80cd6ab95e45 · outbound

This paper cites T., Baierl, M., Koert, D., and Peters, J.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching T., Baierl, M., Koert, D., and Peters, J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.947954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 849d5af1-3fed-4e35-ac60-64618391e64c · outbound

This paper cites IL-flOw: Imitation Learning from Observation using Normalizing Flows.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching IL-flOw: Imitation Learning from Observation using Normalizing Flows

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.624301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8bbec91-0d25-4ad8-9311-779725599f1e · outbound

This paper cites Simple Hierarchical Planning with Diffusion.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Simple Hierarchical Planning with Diffusion

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.629420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3230f35-10d0-421a-8d60-a5f4a1f41942 · outbound

This paper cites Boosting Continuous Control with Consistency Policy.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Boosting Continuous Control with Consistency Policy

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.634641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4fe7f49-6288-4af1-a135-174d08613d00 · outbound

This paper cites Diffusion policy: Visuomotor policy learning via action diffusion.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Diffusion policy: Visuomotor policy learning via action diffusion

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.639616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cfaf357-c894-4d0c-b5f3-60be1e81630c · outbound

This paper cites Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.644049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b41a8d8-62b6-4967-b562-57244e924ac7 · outbound

This paper cites an unresolved cited work.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:44:58.924679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 834245fd-2c0b-47e8-af7f-ceb699302884 · outbound

This paper cites and Bai, Y.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Bai, Y

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.909264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7e6032f1-baa2-415e-82f5-8a7574f7e9c4 · outbound

This paper cites and Fan, C.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Fan, C

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.893850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b1eb1201-a733-43ef-89e6-4e59ebf422c1 · outbound

This paper cites J., Lee, S.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching J., Lee, S

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.879278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f5428cbc-6bb9-409f-80bf-eaa08ee95078 · outbound

This paper cites and Maler, O.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Maler, O

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.864994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2c46fb87-df47-4cdd-abb7-ec65efd7434b · outbound

This paper cites Efficient robust monitoring for stl.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Efficient robust monitoring for stl

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.851257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ff75b190-fbb8-4c32-8d22-3d630d4a3a84 · outbound

This paper cites Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:44:58.316612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2858afcc-b265-45d0-a256-9154ba596cc6 · outbound

This paper cites E., Girard, A., Kress-Gazit, H., and Pappas, G.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching E., Girard, A., Kress-Gazit, H., and Pappas, G

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.836717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 80abb759-0df9-4a10-b481-3424052100e6 · outbound

This paper cites R., Eppner, C., Lozano-P \'e rez, T., Kaelbling, L.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching R., Eppner, C., Lozano-P \'e rez, T., Kaelbling, L

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.821131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 75e7705b-447d-43f2-ba54-b378a7d24180 · outbound

This paper cites LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:44:58.295722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 838ad5ae-662d-402e-83a3-2da4c282f830 · outbound

This paper cites Fast Graph Representation Learning with PyTorch Geometric.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Fast Graph Representation Learning with PyTorch Geometric

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.693113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd45cf9e-0fb2-440a-8dc8-6eccbdf3b0dd · outbound

This paper cites Ltlmop: Experimenting with language, temporal logic and robot control.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Ltlmop: Experimenting with language, temporal logic and robot control

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.806871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 61191f96-5d9b-455f-a446-609401fd044a · outbound

This paper cites D4RL: Datasets for Deep Data-Driven Reinforcement Learning.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching D4RL: Datasets for Deep Data-Driven Reinforcement Learning

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.702445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fee7020c-feb5-4425-af54-94a471180e30 · outbound

This paper cites R., and De Luca, A.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching R., and De Luca, A

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.792329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2a2bdd03-edf2-45bb-b789-ed94e617e14a · outbound

This paper cites Temporal logic specification-conditioned decision transformer for offline safe reinforcement learning.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Temporal logic specification-conditioned decision transformer for offline safe reinforcement learning

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.777974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a4bbd905-895c-4cc0-a9e2-63fc1201c7d1 · outbound

This paper cites Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:44:58.244922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cb123ee8-af73-43d6-9022-df2fd6a41ed1 · outbound

This paper cites Deepstl: from english requirements to signal temporal logic.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Deepstl: from english requirements to signal temporal logic

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.763297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4e329267-85da-4902-81e3-a1a174bd0779 · outbound

This paper cites Denoising diffusion probabilistic models.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Denoising diffusion probabilistic models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.723764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e15e671d-fa49-4e6f-9c82-9ffdc8707253 · outbound

This paper cites DiffusionSeeder: Seeding Motion Optimization with Diffusion for Rapid Motion Planning.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching DiffusionSeeder: Seeding Motion Optimization with Diffusion for Rapid Motion Planning

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.727839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a2a325d-620c-4efa-9274-ec65c1243870 · outbound

This paper cites DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.732413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97519dc-e4c4-4b40-95bc-37daa5b7a2f3 · outbound

This paper cites Planning with Diffusion for Flexible Behavior Synthesis.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Planning with Diffusion for Flexible Behavior Synthesis

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.736924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94bc0a1d-5415-435d-97ea-ee03daeea7f5 · outbound

This paper cites Model-based Reinforcement Learning from Signal Temporal Logic Specifications.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Model-based Reinforcement Learning from Signal Temporal Logic Specifications

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.741276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7d97d27-1eea-48dc-8739-6b0ddcbaff8a · outbound

This paper cites 3D Diffuser Actor: Policy Diffusion with 3D Scene Representations.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching 3D Diffuser Actor: Policy Diffusion with 3D Scene Representations

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.745699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a3abde9-6268-4f0b-8c49-1bbcbd2fd830 · outbound

This paper cites Power and limits of the Weisfeiler-Leman algorithm.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Power and limits of the Weisfeiler-Leman algorithm

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.739279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a9c3e25e-ebdd-47d0-a0de-5096e75b7b3d · outbound

This paper cites Adam: A Method for Stochastic Optimization.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Adam: A Method for Stochastic Optimization

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.754379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35eadbd4-b47f-43f2-b88f-92831ff41fb8 · outbound

This paper cites Semi-Supervised Classification with Graph Convolutional Networks.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Semi-Supervised Classification with Graph Convolutional Networks

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.758755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2af83a96-bb3b-4148-b6f1-08485c0bf58b · outbound

This paper cites Specifying real-time properties with metric temporal logic.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Specifying real-time properties with metric temporal logic

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.724817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ca1966bd-9ee3-4b1d-8005-fc6613f8b443 · outbound

This paper cites and Lin, H.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Lin, H

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.710785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation feb14091-28ac-466b-9850-ad8a247a9b13 · outbound

This paper cites and Pavone, M.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Pavone, M

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.695987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 01ec6c80-7a4e-4595-a7d8-891ab68a4c33 · outbound

This paper cites Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.680527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation dd8052f0-21dc-41bc-8da7-4c7d93c6db4d · outbound

This paper cites Hierarchical diffusion for offline decision making.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Hierarchical diffusion for offline decision making

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.779851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ea89671-6655-4a6d-9b20-90fd4e523f96 · outbound

This paper cites Reinforcement learning with temporal logic rewards.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Reinforcement learning with temporal logic rewards

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.656342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9758e1aa-440e-481b-a901-27a657aeb7d3 · outbound

This paper cites Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.641685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ba439b57-ca16-4c1e-8abd-e53ec67b22f7 · outbound

This paper cites Flow Straight and Fast: Learning to Generate and Transfer Data with Rectified Flow.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Flow Straight and Fast: Learning to Generate and Transfer Data with Rectified Flow

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.793081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cc19e43-76e7-4628-ba51-5f6ec0e5159f · outbound

This paper cites Formalization of intersection traffic rules in temporal logic.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Formalization of intersection traffic rules in temporal logic

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.625790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bc9be4a3-2a07-4c72-922c-8957a51c934c · outbound

This paper cites and Nickovic, D.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Nickovic, D

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.611030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 09961c56-750d-455d-adb6-6ebf96e339cc · outbound

This paper cites and Fan, C.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Fan, C

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.597070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 62e3759f-deb8-4291-87ed-253780b950cc · outbound

This paper cites and Fan, C.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Fan, C

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.583062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 496196a5-6eff-45cf-9cb0-b63204b3af22 · outbound

This paper cites A., Xue, S., Chen, Y., and Xu, D.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching A., Xue, S., Chen, Y., and Xu, D

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.568410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0f8d9259-be7e-4077-872f-2b65acaf49eb · outbound

This paper cites and Hinton, G.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Hinton, G

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.821184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8304edc4-8cdd-46c2-85e0-8b42674a8284 · outbound

This paper cites Pytorch: An imperative style, high-performance deep learning library.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Pytorch: An imperative style, high-performance deep learning library

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.826495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fefa33d-3e2d-4d84-bfbc-9c02a0b4d07a · outbound

This paper cites The temporal logic of programs.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching The temporal logic of programs

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.533882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c4a80ba9-1336-4c2c-b8b9-f02680231916 · outbound

This paper cites Consistency Policy: Accelerated Visuomotor Policies via Consistency Distillation.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Consistency Policy: Accelerated Visuomotor Policies via Consistency Distillation

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.835253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f801d3-cd19-4cc2-a651-aabee62c3818 · outbound

This paper cites Learning from demonstrations using signal temporal logic.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Learning from demonstrations using signal temporal logic

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.519749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 19e31b26-76f3-4296-8441-7437d8852f02 · outbound

This paper cites M., and Seshia, S.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching M., and Seshia, S

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.505375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4b935cbb-4caa-4a9c-9404-07c4c2fc5909 · outbound

This paper cites and Belta, C.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching and Belta, C

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.490524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 88caa538-ff07-427c-a3a1-66f321f656b4 · outbound

This paper cites Multi-agent motion planning from signal temporal logic specifications.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Multi-agent motion planning from signal temporal logic specifications

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.476380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 014d0708-db7b-4d9e-be49-70f5b906a169 · outbound

This paper cites Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.870240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0094f4a2-8601-46a3-a2ae-62dafca782ad · outbound

This paper cites Octo: An Open-Source Generalist Robot Policy.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Octo: An Open-Source Generalist Robot Policy

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.877096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 033efc7c-8dd8-41c9-869a-ade09cd6e91c · outbound

This paper cites Mujoco: A physics engine for model-based control.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Mujoco: A physics engine for model-based control

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.882781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 776a2cf5-f7f8-4507-87e7-9e44c674b239 · outbound

This paper cites Deep Generative Models in Robotics: A Survey on Learning from Multimodal Demonstrations.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Deep Generative Models in Robotics: A Survey on Learning from Multimodal Demonstrations

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.888082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e9af1d-e66e-4d7f-8425-331e69c87a00 · outbound

This paper cites Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.452218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e3ab3248-a4dd-4af6-9def-c07c077998cb · outbound

This paper cites Attention is all you need.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Attention is all you need

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.900524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82cc8ad0-dac3-4e72-a6dc-52612eba3f70 · outbound

This paper cites an unresolved cited work.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Unresolved cited work

Reference 61

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:44:58.428066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 787bc691-feb6-46aa-ae23-80ab312f64f7 · outbound

This paper cites Chaineddiffuser: Unifying trajectory diffusion and keypose prediction for robotic manipulation.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Chaineddiffuser: Unifying trajectory diffusion and keypose prediction for robotic manipulation

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.911106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46b00725-90cc-47c4-88f0-d03ec176b8d9 · outbound

This paper cites How Powerful are Graph Neural Networks?.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching How Powerful are Graph Neural Networks?

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.916114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 267bd824-b2c3-4b40-ad26-9cc345017d73 · outbound

This paper cites Compositional Diffusion-Based Continuous Constraint Solvers.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Compositional Diffusion-Based Continuous Constraint Solvers

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.921526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e57e1017-ded3-4cce-983e-2af000250d9a · outbound

This paper cites 3D Diffusion Policy: Generalizable Visuomotor Policy Learning via Simple 3D Representations.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching 3D Diffusion Policy: Generalizable Visuomotor Policy Learning via Simple 3D Representations

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.927693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d75b1ae4-3f76-4de3-9afb-9c6a2d79eac2 · outbound

This paper cites FlowPolicy: Enabling Fast and Robust 3D Flow-based Policy via Consistency Flow Matching for Robot Manipulation.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching FlowPolicy: Enabling Fast and Robust 3D Flow-based Policy via Consistency Flow Matching for Robot Manipulation

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-16T04:44:57.933731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3998a4be-c59d-4c4d-8388-f99b38ed3759 · outbound

This paper cites PyTorch Kinematics , February 2024.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching PyTorch Kinematics , February 2024

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.404432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9d5147d9-c3b7-43b2-9a57-95017412e398 · outbound

This paper cites Guided conditional diffusion for controllable traffic simulation.

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Guided conditional diffusion for controllable traffic simulation

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:44:58.389839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

Observation e16130f8-5646-4742-8612-3755726e9e69 · inbound

Agentic Reasoning for Large Language Models cites this paper.

Agentic Reasoning for Large Language Models TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Reference 181

Resolution: verified exact; arxiv_id, observed 2026-05-17T15:14:26.158912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 59b81246-15d1-490c-9c32-f075d390cf63 · inbound

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications cites this paper.

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Reference 84

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T12:21:03.083953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4862035c-e972-41d1-84db-6b5f77b99a1b · inbound

BoostLLM: Boosting-inspired LLM Fine-tuning for Few-shot Tabular Classification cites this paper.

BoostLLM: Boosting-inspired LLM Fine-tuning for Few-shot Tabular Classification TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Reference 45

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T18:51:06.363537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bd2f5b5b-152c-4f8b-8887-149ce5775534 · inbound

BoostLLM: Boosting-inspired LLM Fine-tuning for Few-shot Tabular Classification cites this paper.

BoostLLM: Boosting-inspired LLM Fine-tuning for Few-shot Tabular Classification TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Reference 45

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T07:21:26.656239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.