Paper Citation Record · LEDGER

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition

As of 18 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 2 inbound Pith citation observations for arXiv:2508.13407.

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

pith.paper-citation-record.v1
2508.13407 v2

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T17:21:20.073615Z

measured 50 of 50 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T14:51:21.685615Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-18T06:41:00.537151Z

Reference resolution

48 of 48 outbound references displayed

verified exact4
verified fuzzy36
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3dd8de77-7823-4906-b759-30269757ca8a · outbound

This paper cites Monitoring temporal properties of con- tinuous signals,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Monitoring temporal properties of con- tinuous signals,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.801036Z

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 1b322853-c321-4edc-a46c-bfb6550190b2 · outbound

This paper cites Model predictive control from signal temporal logic specifications: A case study,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Model predictive control from signal temporal logic specifications: A case study,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.789573Z

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 94d4d8d4-d49d-4530-acc9-e4b2995ccbf9 · outbound

This paper cites Integrated task and motion planning,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Integrated task and motion planning,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.779444Z

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 a8d143e5-3461-491b-8de6-7d84c25c7870 · outbound

This paper cites Reactive task allocation and planning for quadrupedal and wheeled robot teaming,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Reactive task allocation and planning for quadrupedal and wheeled robot teaming,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.770025Z

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 3ceb4984-b349-4622-91a2-07b65c813ddc · outbound

This paper cites Biped walking pattern generation by using preview control of zero-moment point,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Biped walking pattern generation by using preview control of zero-moment point,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.760797Z

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 e03d8fb6-c627-4a67-a73a-90f2c961d6b7 · outbound

This paper cites Angular momentum about the contact point for control of bipedal locomotion: Validation in a lip-based controller,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Angular momentum about the contact point for control of bipedal locomotion: Validation in a lip-based controller,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.750156Z

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 104d24df-b83c-498a-b503-056ad62da13a · outbound

This paper cites Logic-based benders decomposition,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Logic-based benders decomposition,

Reference 7

Resolution: verified exact; doi, observed 2026-08-15T17:21:20.106443Z

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 28e2642a-3123-45b6-b941-291f60cf5610 · outbound

This paper cites an unresolved cited work.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:19.935633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15050a25-f0b7-430d-a2f0-eabc34c2e6c2 · outbound

This paper cites Accelerated admm based trajectory optimization for legged locomotion with coupled rigid body dynamics,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Accelerated admm based trajectory optimization for legged locomotion with coupled rigid body dynamics,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.733317Z

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 1c4cd33c-9cf8-4d03-9c5b-684269777623 · outbound

This paper cites Consensus com- plementarity control for multi-contact mpc,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Consensus com- plementarity control for multi-contact mpc,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:19.942425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8e9312d-ea51-4efb-8da8-ab3abc25fc15 · outbound

This paper cites Dis- tributed multirobot task assignment via consensus admm,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Dis- tributed multirobot task assignment via consensus admm,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.714916Z

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 6eca3117-6c7e-4039-a066-5211f3a06360 · outbound

This paper cites Simultaneous contact-rich grasping and locomotion via distributed optimization enabling free-climbing for multi-limbed robots,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Simultaneous contact-rich grasping and locomotion via distributed optimization enabling free-climbing for multi-limbed robots,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.704222Z

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 41f45711-2253-43a6-b42e-3c6bea23a397 · outbound

This paper cites Dynamics consensus between centroidal and whole-body models for locomotion of legged robots,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Dynamics consensus between centroidal and whole-body models for locomotion of legged robots,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.693069Z

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 d96c46c4-b980-4d1c-984b-09aa5ca7575b · outbound

This paper cites Biconmp: A nonlinear model predictive control framework for whole body motion planning,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Biconmp: A nonlinear model predictive control framework for whole body motion planning,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.681976Z

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 1072f6a9-cb8d-40a1-86d5-ba56442e2fab · outbound

This paper cites Mixed-integer programming for signal temporal logic with fewer binary variables,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Mixed-integer programming for signal temporal logic with fewer binary variables,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.669955Z

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 be36bf9e-f7ce-4ff3-b43d-16c25a22ac91 · outbound

This paper cites Robust-locomotion-by-logic: Perturbation-resilient bipedal locomotion via signal temporal logic guided model predictive control,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Robust-locomotion-by-logic: Perturbation-resilient bipedal locomotion via signal temporal logic guided model predictive control,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:19.962839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b612767d-fb37-410f-8a31-ecbcf859b90e · outbound

This paper cites Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.652362Z

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 a057cb70-47ed-4216-8980-f232ba67eb62 · outbound

This paper cites Socially acceptable bipedal robot navigation via social zonotope net- work model predictive control,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Socially acceptable bipedal robot navigation via social zonotope net- work model predictive control,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.642208Z

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 1abf68a9-0496-4583-abf7-ca3f1e61153b · outbound

This paper cites Automaton- guided control synthesis for signal temporal logic specifications,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Automaton- guided control synthesis for signal temporal logic specifications,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.633193Z

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 8618558b-8dd5-48cd-963a-137259e47ea9 · outbound

This paper cites Ltl-d*: Incrementally optimal replanning for feasible and infeasible tasks in linear temporal logic specifications,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Ltl-d*: Incrementally optimal replanning for feasible and infeasible tasks in linear temporal logic specifications,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.624069Z

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 ab8825cd-deb7-4774-8883-e54a787a6272 · outbound

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

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Multi-agent motion planning from signal temporal logic specifications,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.615079Z

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 af804892-6d72-4818-9317-c09f6732a549 · outbound

This paper cites A smooth robustness measure of signal temporal logic for symbolic control,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition A smooth robustness measure of signal temporal logic for symbolic control,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.604512Z

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 93417065-54f4-4404-a84b-5bebd0c575d6 · outbound

This paper cites Temporal logic motion planning with convex optimization via graphs of convex sets,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Temporal logic motion planning with convex optimization via graphs of convex sets,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.594011Z

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 0da11d1e-dcd6-4ebc-8fd8-5999766aeade · outbound

This paper cites Optimization-based task and motion planning under signal temporal logic specifications using logic network flow,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Optimization-based task and motion planning under signal temporal logic specifications using logic network flow,

Reference 24

Resolution: verified exact; raw_fallback, observed 2026-08-15T17:21:20.253206Z

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 5bbb4c67-c495-4b17-b213-215901948646 · outbound

This paper cites Simultaneous contact, gait, and motion planning for robust multilegged locomotion via mixed-integer convex optimization,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Simultaneous contact, gait, and motion planning for robust multilegged locomotion via mixed-integer convex optimization,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.582628Z

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 e0486b3a-d8b6-4cf1-a3fe-a78200ac0af3 · outbound

This paper cites Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-15T17:21:20.191484Z

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 4d29aff7-b179-4004-9c0e-03a3db7a4e1c · outbound

This paper cites Footstep planning on uneven terrain with mixed-integer convex optimization,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Footstep planning on uneven terrain with mixed-integer convex optimization,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.470713Z

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 18ebc633-0ad3-471c-91b5-6db5e3d829af · outbound

This paper cites Global inverse kinematics via mixed- integer convex optimization,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Global inverse kinematics via mixed- integer convex optimization,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.458506Z

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 aa6ab327-8474-4649-b7c7-beed42ef4318 · outbound

This paper cites Warm start of mixed-integer programs for model predictive control of hybrid systems,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Warm start of mixed-integer programs for model predictive control of hybrid systems,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.445969Z

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 31638506-704d-4a38-a2a3-d46a28ce8b53 · outbound

This paper cites Efficient multi- contact pattern generation with sequential convex approximations of the centroidal dynamics,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Efficient multi- contact pattern generation with sequential convex approximations of the centroidal dynamics,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.432511Z

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 8a89c1ec-ce1b-4fab-b0be-15069aa2e066 · outbound

This paper cites Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.419929Z

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 fec0f020-44b9-42cb-8f3e-78b52e73a7db · outbound

This paper cites Integrated task and motion planning for safe legged navigation in partially observ- able environments,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Integrated task and motion planning for safe legged navigation in partially observ- able environments,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.407774Z

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 4a7fe722-4004-4533-943b-ef38e6cfe43d · outbound

This paper cites An efficient acyclic contact planner for multiped robots,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition An efficient acyclic contact planner for multiped robots,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:20.019598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f21f54c-81b1-40a7-bd2f-4da11bb39844 · outbound

This paper cites Optimization based motion planning for multi-limbed vertical climbing robots,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Optimization based motion planning for multi-limbed vertical climbing robots,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:20.023618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2186fea-b4fe-4061-bae9-44b65bcb6d28 · outbound

This paper cites Quad-SDK: Full stack software framework for agile quadrupedal locomotion,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Quad-SDK: Full stack software framework for agile quadrupedal locomotion,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.384755Z

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 58d0e483-c9bc-44b5-a49e-7b7cdb420d1f · outbound

This paper cites Fast contact-implicit model predictive control,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Fast contact-implicit model predictive control,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.374574Z

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 79a1ce71-4d29-4b63-ac4a-bbf77dcf0233 · outbound

This paper cites Model hierarchy predictive control of robotic systems,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Model hierarchy predictive control of robotic systems,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.364700Z

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 8d4e6ccd-584f-43ed-84fb-fd3e924a82da · outbound

This paper cites Momentum- aware trajectory optimization and control for agile quadrupedal locomo- tion,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Momentum- aware trajectory optimization and control for agile quadrupedal locomo- tion,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.353828Z

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 0d997a77-7326-4eaa-91d2-5d905cf21c6d · outbound

This paper cites Accelerate hybrid model predictive control using generalized benders decomposition,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Accelerate hybrid model predictive control using generalized benders decomposition,

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-15T17:21:20.175254Z

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 d199a316-4448-4c5d-9274-95a4f57b01a7 · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Formal methods for control synthesis: An optimization perspective,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.342903Z

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 647871c9-3124-498f-a70e-a63edb7ffcf8 · outbound

This paper cites Optimization-based trajec- tory generation with linear temporal logic specifications,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Optimization-based trajec- tory generation with linear temporal logic specifications,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.331614Z

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 a9400695-97c6-47cb-95b6-c593f0342ce2 · outbound

This paper cites A sequential mpc approach to reactive planning for bipedal robots using safe corridors in highly cluttered environments,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition A sequential mpc approach to reactive planning for bipedal robots using safe corridors in highly cluttered environments,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:20.053312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 604e2b1e-46b4-49a9-b2f0-6f7a5de6baf8 · outbound

This paper cites Generalized benders decomposition,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Generalized benders decomposition,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.314012Z

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 04269f0f-4b3f-4d36-922f-757a4a1492e1 · outbound

This paper cites Soft-minimum and soft-maximum barrier functions for safety with actuation constraints,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Soft-minimum and soft-maximum barrier functions for safety with actuation constraints,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.303049Z

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 91c770ed-a3b2-4d18-9aa4-ba771ed9f21e · outbound

This paper cites Combinatorial benders’ cuts for mixed- integer linear programming,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Combinatorial benders’ cuts for mixed- integer linear programming,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.292756Z

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 243266e2-cc89-4e7d-a17c-a6cff0c7aa6f · outbound

This paper cites an unresolved cited work.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:20.069820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5b35081-7027-4e41-916a-d12ed68fe995 · outbound

This paper cites Accelerating benders decomposition by local branching,.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Accelerating benders decomposition by local branching,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T17:21:20.276089Z

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 41b9ab19-d47f-4613-9b2f-1237148b38a2 · outbound

This paper cites Angular Momentum about the Contact Point for Control of Bipedal Locomotion: Validation in a LIP-based Controller.

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition Angular Momentum about the Contact Point for Control of Bipedal Locomotion: Validation in a LIP-based Controller

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-15T17:21:19.927455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 406cea90-9115-4754-a497-ec5bb301407b · inbound

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion cites this paper.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T14:51:21.685615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cb67721-7e8a-424d-a7e6-43032acfaa09 · inbound

Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming cites this paper.

Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition

Reference 67

Resolution: verified exact; arxiv_id, observed 2026-05-18T06:41:00.540331Z

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.