Paper Citation Record · LEDGER

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems

As of 19 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 1 inbound Pith citation observation for arXiv:2504.18899.

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

pith.paper-citation-record.v1
2504.18899 v2

Coverage vector

measured 63 of 63 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:11:52.125366Z

measured 64 of 64 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T23:42:45.237125Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

63 of 63 outbound references displayed

verified exact2
verified fuzzy54
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4c5a129e-7dcc-4c0c-8454-bd290ed66cf7 · outbound

This paper cites A survey of optimization-based task and motion planning: from clas- sical to learning approaches.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems A survey of optimization-based task and motion planning: from clas- sical to learning approaches

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.304124Z

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 9463a183-1ec9-47b8-82ef-59ad805b1596 · outbound

This paper cites Efficiently com- bining task and motion planning using geometric con- straints.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Efficiently com- bining task and motion planning using geometric con- straints

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.285578Z

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 51ec3e97-db5c-4581-984e-f24ecbf588fa · outbound

This paper cites Multi-bound tree search for logic-geometric programming in cooperative manipulation domains.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multi-bound tree search for logic-geometric programming in cooperative manipulation domains

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.266717Z

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 d0beaaf4-6329-4793-9086-f38409118cdc · outbound

This paper cites Differ- entiable task assignment and motion planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Differ- entiable task assignment and motion planning

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.247746Z

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 b9012d31-53ee-441d-b085-5a5d4d2d7dab · outbound

This paper cites Continuous optimization-based task and motion planning with signal temporal logic specifications for sequential manipulation.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Continuous optimization-based task and motion planning with signal temporal logic specifications for sequential manipulation

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.230587Z

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 b29e565b-1aad-46f6-bab6-332d9f29ab45 · outbound

This paper cites Logic-geometric programming: An optimization-based approach to combined task and mo- tion planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Logic-geometric programming: An optimization-based approach to combined task and mo- tion planning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:51.804381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38105c91-5fb6-4bc2-9ea1-07e499ae97b4 · outbound

This paper cites Temporal logic motion plan- ning with convex optimization via graphs of convex sets.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Temporal logic motion plan- ning with convex optimization via graphs of convex sets

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.195588Z

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 27ddb193-ac11-4fd9-8eb4-f814bc598ee4 · outbound

This paper cites Principles of model checking.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Principles of model checking

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.176605Z

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 a6baa3ff-e6d5-43ee-8427-b697925a34c7 · outbound

This paper cites Motion planning around obstacles with convex optimization.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Motion planning around obstacles with convex optimization

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.155757Z

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 30883c52-e1ef-45cb-bd3e-22ec04fc55ef · outbound

This paper cites Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:11:52.232505Z

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 9ccfc50a-e3a6-45b2-a85e-ce82e27d8472 · outbound

This paper cites Shortest paths in graphs of convex sets.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Shortest paths in graphs of convex sets

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:51.830566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 451b7535-5f2b-4797-8452-fc7a30714891 · outbound

This paper cites Integrated task and motion plan- ning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Integrated task and motion plan- ning

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.123158Z

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 dce01084-2700-42fb-9aab-3399d9885b07 · outbound

This paper cites Recent trends in task and motion plan- ning for robotics: A survey.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Recent trends in task and motion plan- ning for robotics: A survey

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.105866Z

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 e16dec3d-66d8-410a-9207-7c3f56fdeba1 · outbound

This paper cites Multi-robot task and mo- tion planning with subtask dependencies.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multi-robot task and mo- tion planning with subtask dependencies

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.085870Z

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 df94d56f-c61e-4014-a398-27163cafc4e5 · outbound

This paper cites A mip-based ap- proach for multi-robot geometric task-and-motion plan- ning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems A mip-based ap- proach for multi-robot geometric task-and-motion plan- ning

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.068551Z

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 64db0678-b4cd-481a-8c3a-393b7a5c6985 · outbound

This paper cites Hypergraph-based multi- robot task and motion planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Hypergraph-based multi- robot task and motion planning

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.047714Z

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 3e618696-edf6-4742-83b7-d89aa53f36de · outbound

This paper cites A general task and motion plan- ning framework for multiple manipulators.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems A general task and motion plan- ning framework for multiple manipulators

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.032092Z

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 bf517dd8-9b6c-4ed0-854c-14c6a94eac84 · outbound

This paper cites Differ- entiable task assignment and motion planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Differ- entiable task assignment and motion planning

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:53.014417Z

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 8d151b67-94c4-40c7-b5a3-ba5903f038a8 · outbound

This paper cites Temporal logic imitation: Learning plan-satisficing motion policies from demonstrations.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Temporal logic imitation: Learning plan-satisficing motion policies from demonstrations

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.996569Z

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 f2dc676b-6139-46c7-b171-155a7062664f · outbound

This paper cites Physically feasi- ble repair of reactive, linear temporal logic-based, high- level tasks.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Physically feasi- ble repair of reactive, linear temporal logic-based, high- level tasks

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.975608Z

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 037a9a74-4228-43f7-9b20-5d35c1a835a1 · outbound

This paper cites Transfer plan- ning for temporal logic tasks.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Transfer plan- ning for temporal logic tasks

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.956968Z

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 53f156b8-18ae-4a73-84bd-1a6428c9e954 · outbound

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

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:51.896853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dce5c668-09ff-4b98-909c-f0ea75619d58 · outbound

This paper cites Walking-by-logic: Signal temporal logic-guided model predictive control for bipedal locomotion resilient to external perturbations.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Walking-by-logic: Signal temporal logic-guided model predictive control for bipedal locomotion resilient to external perturbations

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.933836Z

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 4873f311-5f7c-4161-83ee-952d613096cc · outbound

This paper cites Single-agent indirect herding of multiple targets using metric temporal logic switching.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Single-agent indirect herding of multiple targets using metric temporal logic switching

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.911265Z

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 436d4b30-8eac-4c2d-b960-3aa2a8a91d15 · outbound

This paper cites Multi-agent plan reconfiguration under local LTL specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multi-agent plan reconfiguration under local LTL specifications

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.888765Z

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 59d3cba8-f8dd-4f1b-b71d-ea1607fba91d · outbound

This paper cites Multi-agent planning under local LTL specifications and event-based synchronization.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multi-agent planning under local LTL specifications and event-based synchronization

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.869551Z

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 95685289-4c62-487b-bfc7-c41a7ffd7925 · outbound

This paper cites Distributed motion coordination for multirobot systems under ltl specifica- tions.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Distributed motion coordination for multirobot systems under ltl specifica- tions

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.847882Z

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 417af0f2-5228-4709-961b-944afe8f1508 · outbound

This paper cites Automatic synthesis of multi-agent motion tasks based on LTL specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Automatic synthesis of multi-agent motion tasks based on LTL specifications

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.823646Z

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 2e053503-1837-4043-b99c-e6eb180eb6fb · outbound

This paper cites Optimal path planning for surveillance with temporal-logic constraints.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Optimal path planning for surveillance with temporal-logic constraints

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.804516Z

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 0e4e361c-62a1-4942-aed4-7fceeac12004 · outbound

This paper cites Au- tomated composition of motion primitives for multi- robot systems from safe LTL specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Au- tomated composition of motion primitives for multi- robot systems from safe LTL specifications

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.788046Z

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 cb4b5754-a99c-48e0-bc89-d6f795c399aa · outbound

This paper cites Sampling- based control synthesis for multi-robot systems under global temporal specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Sampling- based control synthesis for multi-robot systems under global temporal specifications

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.771381Z

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 b0ae4619-8e45-45b3-bccb-d209654979d7 · outbound

This paper cites Distributed optimal control synthesis for multi-robot systems un- der global temporal tasks.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Distributed optimal control synthesis for multi-robot systems un- der global temporal tasks

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.754865Z

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 4b0cd228-b09f-42a3-a36a-59ff4bc329dc · outbound

This paper cites Sampling- based optimal control synthesis for multirobot systems under global temporal tasks.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Sampling- based optimal control synthesis for multirobot systems under global temporal tasks

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.736708Z

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 855109fc-52e1-47a7-aa2b-ff4b2aa45116 · outbound

This paper cites Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.719882Z

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 9f80275b-5a07-4d9f-8146-8d844d59733b · outbound

This paper cites Perception-based temporal logic plan- ning in uncertain semantic maps.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Perception-based temporal logic plan- ning in uncertain semantic maps

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.698394Z

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 aca4d796-b685-4323-bbe3-f7e29a85e078 · outbound

This paper cites An abstraction-free method for multirobot tem- poral logic optimal control synthesis.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems An abstraction-free method for multirobot tem- poral logic optimal control synthesis

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.681465Z

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 f61450f8-5b7a-43f0-b394-abb6d387c7fc · outbound

This paper cites Multi- robot deployment from LTL specifications with reduced communication.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multi- robot deployment from LTL specifications with reduced communication

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.665084Z

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 7c379915-fe21-439b-b403-1926667bced1 · outbound

This paper cites Linear tem- poral logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Linear tem- poral logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.646610Z

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 4b4d478b-0b2d-4cda-98a2-2a988f9f5d82 · outbound

This paper cites Decentralized control of robotic swarms from high-level temporal logic specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Decentralized control of robotic swarms from high-level temporal logic specifications

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.628193Z

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 75041dc8-fd47-4db8-a57b-7d53f4c4094f · outbound

This paper cites Petri net based multi- robot task coordination from temporal logic specifica- tions.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Petri net based multi- robot task coordination from temporal logic specifica- tions

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.609261Z

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 f3ec30d5-9bcc-4a88-b016-bc1e21d96d43 · outbound

This paper cites Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.592334Z

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 53153dfc-9b08-4324-9066-9d953dacd343 · outbound

This paper cites Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.575798Z

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 83f4f0a6-8928-4677-a98e-a8ce76555f18 · outbound

This paper cites Decomposition of finite LTL specifica- tions for efficient multi-agent planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Decomposition of finite LTL specifica- tions for efficient multi-agent planning

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.557894Z

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 1026970b-d1ca-435e-9c56-435eef30e204 · outbound

This paper cites Simultaneous task allocation and planning under uncertainty.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Simultaneous task allocation and planning under uncertainty

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.538804Z

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 5d6fb4ad-6daa-42f5-8710-3520928d1f20 · outbound

This paper cites Mul- tiagent task allocation and planning with multi-objective requirements.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Mul- tiagent task allocation and planning with multi-objective requirements

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.520896Z

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 9a77cd3c-fb66-468d-96f9-846d2e97cedb · outbound

This paper cites Decomposition-based hierarchical task allocation and planning for multi-robots under hierarchical temporal logic specifications.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Decomposition-based hierarchical task allocation and planning for multi-robots under hierarchical temporal logic specifications

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.503939Z

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 0ff8a0b5-2fcd-4a26-af6e-8709664d9e13 · outbound

This paper cites Non-deterministic planning with temporally extended goals: Ltl over finite and infinite traces.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Non-deterministic planning with temporally extended goals: Ltl over finite and infinite traces

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.479093Z

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 5d5d7cc9-6566-4c39-a2af-b08b507c12ef · outbound

This paper cites LTL and beyond: Formal languages for reward function specifica- tion in reinforcement learning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems LTL and beyond: Formal languages for reward function specifica- tion in reinforcement learning

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.461237Z

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 05261c6e-498e-44e5-a1e5-f4c8dcefb809 · outbound

This paper cites Hierarchical LTL-task mdps for multi- agent coordination through auctioning and learning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Hierarchical LTL-task mdps for multi- agent coordination through auctioning and learning

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.444687Z

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 cc514033-c61f-422f-ac63-5c4ad8324076 · outbound

This paper cites Temporal logic task allocation in heterogeneous multirobot systems.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Temporal logic task allocation in heterogeneous multirobot systems

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.428107Z

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 15900728-6aba-4a6d-a3f8-75bbd5894325 · outbound

This paper cites Time minimiza- tion and online synchronization for multi-agent systems under collaborative temporal logic tasks.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Time minimiza- tion and online synchronization for multi-agent systems under collaborative temporal logic tasks

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.410246Z

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 440d7531-abfe-454e-81e6-3bfc7e42a8db · outbound

This paper cites Multirobot coordination with counting temporal logics.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Multirobot coordination with counting temporal logics

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.393810Z

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 5cbcca4d-4f43-4608-9d7f-5e9270a3df21 · outbound

This paper cites Linear encodings of bounded LTL model checking.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Linear encodings of bounded LTL model checking

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.377824Z

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 f6552de6-985b-43cf-b04c-4c1dbd8d5b0d · outbound

This paper cites Fast decomposition of temporal logic specifications for heterogeneous teams.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Fast decomposition of temporal logic specifications for heterogeneous teams

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.361157Z

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 7ac07a76-fd09-461d-a6cd-488b9e2a7063 · outbound

This paper cites Model checking of safety properties.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Model checking of safety properties

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.343770Z

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 b4e9802e-a684-4811-bf47-855887f3847f · outbound

This paper cites Growing Convex Collision-Free Regions in Configuration Space using Nonlinear Programming.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Growing Convex Collision-Free Regions in Configuration Space using Nonlinear Programming

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:52.086958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8593a072-988e-45c4-991c-2a2309024391 · outbound

This paper cites Rapidly- exploring random trees: Progress and prospects: Steven m.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Rapidly- exploring random trees: Progress and prospects: Steven m

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:52.092074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d6a55b3-2912-4e49-80eb-951dad69cf9a · outbound

This paper cites Drake: Model-based design and verification for robotics, 2019.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Drake: Model-based design and verification for robotics, 2019

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-16T10:11:52.097581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96185c25-9df7-42ae-ac38-11630ca77355 · outbound

This paper cites version 9.0, mosek aps, copenhagen, denmark., 2022.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems version 9.0, mosek aps, copenhagen, denmark., 2022

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.304823Z

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 f41fc634-30bc-4c20-98dc-2a60d085f651 · outbound

This paper cites Formal methods for discrete-time dynamical systems, volume 89.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Formal methods for discrete-time dynamical systems, volume 89

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.286425Z

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 4f2a4d9b-bc70-46d0-8e61-74d11eed68cd · outbound

This paper cites Admissible Abstractions for Near-optimal Task and Motion Planning.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Admissible Abstractions for Near-optimal Task and Motion Planning

Reference 61

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:11:52.174354Z

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 08350ffe-38c0-4ef7-b396-5fa1a4bb9b03 · outbound

This paper cites an unresolved cited work.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Unresolved cited work

Reference 62

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:11:52.268192Z

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 8c6eeefa-e1cd-4932-b562-f4f8be5cc711 · outbound

This paper cites A more scalable mixed- integer encoding for metric temporal logic.

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems A more scalable mixed- integer encoding for metric temporal logic

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:11:52.250530Z

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 6f29d79c-469f-4db6-aff0-4efb587fd024 · inbound

ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling cites this paper.

ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T23:42:45.237125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.