Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T10:11:52.125366Z
Paper Citation Record · LEDGER
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
As of 21 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-03T23:42:45.237125Z
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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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.