Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion | Paper Citation Record

Observation dbb37d25-3e1a-4234-9a0d-f07ccfbe55c1 · outbound

This paper cites Dynamic locomotion in the mit cheetah 3 through convex model-predictive control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Dynamic locomotion in the mit cheetah 3 through convex model-predictive control,

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e261660-26d4-472a-94cc-22fabb23816a · outbound

This paper cites Highly Dynamic Quadruped Locomotion via Whole-Body Impulse Control and Model Predictive Control.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Highly Dynamic Quadruped Locomotion via Whole-Body Impulse Control and Model Predictive Control

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fee59ac-6b37-4d09-890d-1a787e19935d · outbound

This paper cites Momentum- aware trajectory optimization and control for agile quadrupedal loco- motion,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Momentum- aware trajectory optimization and control for agile quadrupedal loco- motion,

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5794c240-72de-4bbc-9e90-9bebeea7764a · outbound

This paper cites Robust rough-terrain locomotion with a quadrupedal robot,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Robust rough-terrain locomotion with a quadrupedal robot,

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0803b317-da3b-4d59-be7f-ad7d2a97e08c · outbound

This paper cites Per- ceptive locomotion through nonlinear model-predictive control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Per- ceptive locomotion through nonlinear model-predictive control,

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3242c1c4-bc83-4353-af15-f1a3d6a50a1f · outbound

This paper cites Online planning for au- tonomous running jumps over obstacles in high-speed quadrupeds,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Online planning for au- tonomous running jumps over obstacles in high-speed quadrupeds,

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa427126-c09b-4843-bcba-4b0544044be4 · outbound

This paper cites Vision aided dynamic exploration of unstructured terrain with a small-scale quadruped robot,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Vision aided dynamic exploration of unstructured terrain with a small-scale quadruped robot,

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a285fc4-fc9e-4bf7-8bfe-5fa5b92b958f · outbound

This paper cites Autonomous navigation for quadrupedal robots with optimized jumping through constrained obstacles,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Autonomous navigation for quadrupedal robots with optimized jumping through constrained obstacles,

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d05d3cb0-279d-4e8d-8330-7410d23ab80a · outbound

This paper cites Fast global motion planning for dynamic legged robots,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Fast global motion planning for dynamic legged robots,

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2d2e654-3159-43cf-b833-f52a97358ffe · outbound

This paper cites Rapid and reliable quadruped motion planning with omnidirectional jumping,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Rapid and reliable quadruped motion planning with omnidirectional jumping,

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f12bf2aa-c08c-4649-b23c-00b7e6b33e26 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Reactive task and mo- tion planning for robust whole-body dynamic locomotion in constrained environments,

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d53f986b-c64e-4afa-b9d4-f07ee8c6aed8 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Integrated task and motion planning for safe legged navigation in partially observable environments,

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40932e21-796e-4baf-aa6f-73115d19b6d5 · outbound

This paper cites Mixed-integer convex optimization for planning aggressive motions of legged robots over rough terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Mixed-integer convex optimization for planning aggressive motions of legged robots over rough terrain,

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eadd35d1-032e-4376-82a2-bca9ebf3d558 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Simultaneous contact-rich grasping and locomotion via distributed optimization enabling free-climbing for multi-limbed robots,

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a10cb39-932b-481a-a937-92dd7f6ebb37 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Footstep planning on uneven terrain with mixed-integer convex optimization,

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ef922e-7568-427e-8fc7-c734c772b892 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Global inverse kinematics via mixed- integer convex optimization,

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cedba32-eba4-44a1-85f2-88ed949d2dea · outbound

This paper cites Kinodynamic motion planning for multi-legged robot jumping via mixed-integer convex program,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Kinodynamic motion planning for multi-legged robot jumping via mixed-integer convex program,

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7114a7a-0041-4dfb-819d-d010d05f4008 · outbound

This paper cites 3d hopping in discontinuous terrain using impulse planning with mixed-integer strategies,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion 3d hopping in discontinuous terrain using impulse planning with mixed-integer strategies,

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6249538-307c-4d21-b765-e61f4a001899 · outbound

This paper cites A convex model of humanoid momentum dynamics for multi-contact motion generation,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion A convex model of humanoid momentum dynamics for multi-contact motion generation,

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19ccf26c-764f-4930-ba6d-38cb3923fa46 · outbound

This paper cites Real-time footstep planning and control of the solo quadruped robot in 3d environments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Real-time footstep planning and control of the solo quadruped robot in 3d environments,

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af290126-7a56-4a6f-b5b7-d5b5627f69e4 · outbound

This paper cites Bipedal walking on constrained footholds with mpc footstep control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Bipedal walking on constrained footholds with mpc footstep control,

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ba5ddf3-d823-4117-b955-c1a6c1d34f1a · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Simultaneous contact, gait, and motion planning for robust multilegged locomotion via mixed-integer convex optimization,

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7940b243-ead3-40c4-82a5-29c5b086df64 · outbound

This paper cites Synthe- sis of reactive (1) designs,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Synthe- sis of reactive (1) designs,

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e48a487b-3c59-4f09-8be7-af092fcac4ac · outbound

This paper cites Physically-feasible reactive synthesis for terrain-adaptive locomotion via trajectory opti- mization and symbolic repair,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Physically-feasible reactive synthesis for terrain-adaptive locomotion via trajectory opti- mization and symbolic repair,

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5313286-5b03-4a9f-9234-06ceafae3e00 · outbound

This paper cites Navigation planning for legged robots in challenging terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Navigation planning for legged robots in challenging terrain,

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a7e6320-0b9c-4e61-91b0-783efd89335b · outbound

This paper cites A kinody- namic steering-method for legged multi-contact locomotion,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion A kinody- namic steering-method for legged multi-contact locomotion,

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cce7686-fa38-427d-bcdf-2705e4880ddf · outbound

This paper cites Walking in narrow spaces: Safety-critical locomotion control for quadrupedal robots with duality-based optimization,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Walking in narrow spaces: Safety-critical locomotion control for quadrupedal robots with duality-based optimization,

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f0f9296-d0be-4292-b962-8c7b03facbf0 · outbound

This paper cites Gpf-bg: A hierarchical vision-based planning framework for safe 18 quadrupedal navigation,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Gpf-bg: A hierarchical vision-based planning framework for safe 18 quadrupedal navigation,

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccbc6395-47eb-455a-a061-9d1d18edeae3 · outbound

This paper cites A control architecture for quadruped locomotion over rough terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion A control architecture for quadruped locomotion over rough terrain,

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a999c953-5e00-4c90-bb68-641f4dbac37f · outbound

This paper cites Fast, robust quadruped locomotion over challenging terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Fast, robust quadruped locomotion over challenging terrain,

Reference 30

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4179c827-0cd7-4813-9018-1c07ca59323e · outbound

This paper cites Path planning with force-based foothold adaptation and virtual model control for torque controlled quadruped robots,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Path planning with force-based foothold adaptation and virtual model control for torque controlled quadruped robots,

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84832b5e-70e1-4f60-84fc-11636d9c1e7c · outbound

This paper cites On-line and on-board planning and perception for quadrupedal locomotion,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion On-line and on-board planning and perception for quadrupedal locomotion,

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4db6db86-c395-4e6e-a779-10909f37e11e · outbound

This paper cites Footstep planning for autonomous walking over rough ter- rain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Footstep planning for autonomous walking over rough ter- rain,

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec1f5d05-9047-4de8-a1f6-e7f2989bde68 · outbound

This paper cites Sl1m: Sparse l1-norm minimization for contact planning on uneven terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Sl1m: Sparse l1-norm minimization for contact planning on uneven terrain,

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 b173c4b9-f6ec-41f9-9d45-7bff61b2dfcc · outbound

This paper cites Non-gaited humanoid lo- comotion planning,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Non-gaited humanoid lo- comotion planning,

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2234a2be-03df-4541-936a-f85a1a17a3af · outbound

This paper cites Motion planning of multi-limbed robots subject to equilib- rium constraints: The free-climbing robot problem,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Motion planning of multi-limbed robots subject to equilib- rium constraints: The free-climbing robot problem,

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39ab82d1-53c9-4eef-be58-e0ae382bec17 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion An efficient acyclic contact planner for multiped robots,

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e03fd9b1-34ad-4a68-903e-f5bf6649d0fe · outbound

This paper cites Perceptive locomotion in rough terrain–online foothold optimization,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Perceptive locomotion in rough terrain–online foothold optimization,

Reference 39

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 819475f2-61de-4866-9c1b-eeab78800c61 · outbound

This paper cites Vision-aided dynamic quadrupedal locomotion on discrete terrain using motion libraries,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Vision-aided dynamic quadrupedal locomotion on discrete terrain using motion libraries,

Reference 40

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca417a72-97c3-49e9-b3bf-e96734f8398d · outbound

This paper cites Fast and continuous foothold adaptation for dynamic locomotion through cnns,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Fast and continuous foothold adaptation for dynamic locomotion through cnns,

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d2d7c06-3e78-4aae-bc5b-2c745f9c9848 · outbound

This paper cites Mpc-based controller with terrain insight for dynamic legged locomotion,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Mpc-based controller with terrain insight for dynamic legged locomotion,

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50dc0c81-4e80-460c-b124-dd4c624dd69e · outbound

This paper cites Visual-locomotion: Learning to walk on complex terrains with vision,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Visual-locomotion: Learning to walk on complex terrains with vision,

Reference 43

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6085fd7e-8dc8-4d70-8bdd-5ce681e5a18b · outbound

This paper cites Rloc: Terrain-aware legged locomotion using reinforcement learning and optimal control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Rloc: Terrain-aware legged locomotion using reinforcement learning and optimal control,

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1852ef5-a27d-4bc9-aaed-2015a18f75b1 · outbound

This paper cites Learn to teach: Sample-efficient privileged learning for humanoid locomotion over real-world uneven terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Learn to teach: Sample-efficient privileged learning for humanoid locomotion over real-world uneven terrain,

Reference 45

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afd372d7-0de6-4ce2-a250-fb85277e9acd · outbound

This paper cites Rl- augmented adaptive model predictive control for bipedal locomotion over challenging terrain,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Rl- augmented adaptive model predictive control for bipedal locomotion over challenging terrain,

Reference 46

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2b8b681-668f-447f-91fe-ad7c7ad315d7 · outbound

This paper cites Multi-layered safety for legged robots via control barrier functions and model predictive control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Multi-layered safety for legged robots via control barrier functions and model predictive control,

Reference 47

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ff42900-38cd-4d98-8be6-971d651205ba · outbound

This paper cites Tamols: Terrain- aware motion optimization for legged systems,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Tamols: Terrain- aware motion optimization for legged systems,

Reference 48

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b499b7a3-84f2-422c-8273-bc40d64bc30a · outbound

This paper cites Bipedal safe navigation over uncertain rough terrain: Unifying terrain mapping and locomotion stability,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Bipedal safe navigation over uncertain rough terrain: Unifying terrain mapping and locomotion stability,

Reference 49

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 383ffd1f-87e9-4908-af18-5ca1b57db0cb · outbound

This paper cites Terrain-aware model predictive control of heterogeneous bipedal and aerial robot coordination for search and rescue tasks,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Terrain-aware model predictive control of heterogeneous bipedal and aerial robot coordination for search and rescue tasks,

Reference 50

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af405218-9668-41fc-8273-11e8dc535505 · outbound

This paper cites Probabilistically-safe bipedal navigation over uncertain terrain via conformal prediction and contraction analysis,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Probabilistically-safe bipedal navigation over uncertain terrain via conformal prediction and contraction analysis,

Reference 51

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9b32f61-33d5-4563-85e3-6631eaadc991 · outbound

This paper cites Learning a contact-adaptive controller for robust, efficient legged locomotion,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Learning a contact-adaptive controller for robust, efficient legged locomotion,

Reference 52

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21adc2e5-7777-4872-8f5d-e61e140c0206 · outbound

This paper cites Fast and efficient locomotion via learned gait transitions,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Fast and efficient locomotion via learned gait transitions,

Reference 53

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07fd1969-796c-4ff0-b7d4-d9dc96550f7d · outbound

This paper cites Glide: Generalizable quadrupedal locomotion in diverse environments with a centroidal model,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Glide: Generalizable quadrupedal locomotion in diverse environments with a centroidal model,

Reference 54

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73771dfc-9c91-4132-b81a-948a8e7c325a · outbound

This paper cites Learning to jump from pixels,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Learning to jump from pixels,

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e51a3cc-e921-48c2-9a11-3c9516f549cb · outbound

This paper cites Learning Generic and Dynamic Locomotion of Humanoids Across Discrete Terrains.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Learning Generic and Dynamic Locomotion of Humanoids Across Discrete Terrains

Reference 56

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f023b465-c378-486b-9bcb-f1d529822ac4 · outbound

This paper cites Online gait transitions and disturbance recovery for legged robots via the feasible impulse set,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Online gait transitions and disturbance recovery for legged robots via the feasible impulse set,

Reference 57

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e29eea57-e5d3-47c6-834c-c6b014e47c4a · outbound

This paper cites When and Where to Step: Terrain-Aware Real-Time Footstep Location and Timing Optimization for Bipedal Robots.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion When and Where to Step: Terrain-Aware Real-Time Footstep Location and Timing Optimization for Bipedal Robots

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation faab921e-145e-4337-970f-e4c4c6245ea9 · outbound

This paper cites Free gait generation of quadruped robots via impulse-based feasibility analysis,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Free gait generation of quadruped robots via impulse-based feasibility analysis,

Reference 59

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aa8fd82-85c9-4635-b8c0-73abd7e42d8c · outbound

This paper cites A direct method for trajectory op- timization of rigid bodies through contact,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion A direct method for trajectory op- timization of rigid bodies through contact,

Reference 60

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44b38bf1-ddcc-4dfd-825c-187bc5829ebd · outbound

This paper cites Discovery of complex behaviors through contact-invariant optimization,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Discovery of complex behaviors through contact-invariant optimization,

Reference 61

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 622521d6-60eb-4c54-b850-242b0d8a6cd6 · outbound

This paper cites Robust trajectory optimization over uncertain terrain with stochastic complementarity,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Robust trajectory optimization over uncertain terrain with stochastic complementarity,

Reference 62

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c73bedc-e47c-465a-9903-e91f59cf9a36 · outbound

This paper cites Real-time multi-contact model predictive control via admm,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Real-time multi-contact model predictive control via admm,

Reference 63

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57b3bec5-4dea-459d-a166-c056fedf1446 · outbound

This paper cites Fast contact-implicit model predic- tive control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Fast contact-implicit model predic- tive control,

Reference 64

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 775d58df-d4cf-4ed0-b998-a95029e86ea8 · outbound

This paper cites Mediating between contact feasibility and robustness of trajectory optimization through chance complementarity constraints,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Mediating between contact feasibility and robustness of trajectory optimization through chance complementarity constraints,

Reference 65

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19cb68f5-90aa-4297-a57c-49fa3da23524 · outbound

This paper cites Locomotion generation for quadruped robots on challenging terrains via quadratic programming,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Locomotion generation for quadruped robots on challenging terrains via quadratic programming,

Reference 66

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 900d35fe-360f-4b62-a271-61aae46a75ff · outbound

This paper cites Integrated task and motion planning,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Integrated task and motion planning,

Reference 67

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 714e5a02-c7da-4e71-8929-2eaf7cdd85a0 · outbound

This paper cites A survey of optimization-based task and motion planning: From classical to learning approaches,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion A survey of optimization-based task and motion planning: From classical to learning approaches,

Reference 68

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff9b1697-cda2-45ca-869d-f65215f7b945 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Logic-geometric programming: An optimization-based approach to combined task and motion planning

Reference 69

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0277b66e-fb47-4f81-afd4-5d6dc19c780f · outbound

This paper cites Differentiable physics and stable modes for tool-use and manipulation planning,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Differentiable physics and stable modes for tool-use and manipulation planning,

Reference 70

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7c5330a-b481-4afe-9623-128826011b2a · outbound

This paper cites Object-centric task and motion planning in dynamic environments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Object-centric task and motion planning in dynamic environments,

Reference 71

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bea54379-a319-4839-b968-d7d2d2911baf · outbound

This paper cites Sydebo: Symbolic-decision- embedded bilevel optimization for long-horizon manipulation in dy- namic environments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Sydebo: Symbolic-decision- embedded bilevel optimization for long-horizon manipulation in dy- namic environments,

Reference 72

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cd10e23-ad78-4437-9946-311d97f1b4a0 · outbound

This paper cites Versatile multicontact planning and control for legged loco-manipulation,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Versatile multicontact planning and control for legged loco-manipulation,

Reference 73

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2789f0c-baa7-43c0-9daf-0279dcc2b038 · outbound

This paper cites Hybrid sampling/optimization-based planning for agile jumping robots on chal- lenging terrains,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Hybrid sampling/optimization-based planning for agile jumping robots on chal- lenging terrains,

Reference 74

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2cce4c0-88d4-4027-a521-fdc1f61e7ca2 · outbound

This paper cites Lto: lazy trajectory optimization with graph-search planning for high dof robots in cluttered environments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Lto: lazy trajectory optimization with graph-search planning for high dof robots in cluttered environments,

Reference 75

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f1694d7-b1e0-40fd-a680-b7cf4d6f1903 · outbound

This paper cites Combined sampling and optimization based planning for legged-wheeled robots,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Combined sampling and optimization based planning for legged-wheeled robots,

Reference 76

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e65e3d13-907f-4dcd-b58e-1b98ef1d3122 · outbound

This paper cites Monte carlo tree search gait planner for non-gaited legged system control,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Monte carlo tree search gait planner for non-gaited legged system control,

Reference 77

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74957ba4-73de-4d0c-aa4e-eb071b3ff7f0 · outbound

This paper cites Trajectotree: Trajectory optimization meets tree search for planning multi-contact dexterous manipulation,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Trajectotree: Trajectory optimization meets tree search for planning multi-contact dexterous manipulation,

Reference 78

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4ed8c2e-66a9-4e14-b0e4-3987698e904d · outbound

This paper cites Simultaneous Trajectory Optimization and Contact Selection for Multi-Modal Manipulation Planning.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Simultaneous Trajectory Optimization and Contact Selection for Multi-Modal Manipulation Planning

Reference 79

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eccee53c-a574-4173-aac4-9d3f5a25248b · outbound

This paper cites Efficient object manipulation planning with monte carlo tree search,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Efficient object manipulation planning with monte carlo tree search,

Reference 80

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc0d5930-7391-4ad9-8ee1-a913efee7a56 · outbound

This paper cites Hierar- chical experience-informed navigation for multi-modal quadrupedal re- bar grid traversal,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Hierar- chical experience-informed navigation for multi-modal quadrupedal re- bar grid traversal,

Reference 81

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 952e424a-1561-4554-9156-63570b62267b · outbound

This paper cites Synthesis for robots: Guarantees and feedback for robot behavior,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Synthesis for robots: Guarantees and feedback for robot behavior,

Reference 82

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4835bc-b6bb-452b-bfaf-2911f6096434 · outbound

This paper cites Temporal logic guided locomotion planning and control in cluttered environ- ments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Temporal logic guided locomotion planning and control in cluttered environ- ments,

Reference 83

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e45b7545-ca3c-4817-bad3-8115da51fff6 · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Reactive task allocation and planning for quadrupedal and wheeled robot teaming,

Reference 84

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00dee533-30d8-4f23-86eb-414b2bee01a9 · outbound

This paper cites Abstraction-based planning for uncertainty-aware legged navigation,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Abstraction-based planning for uncertainty-aware legged navigation,

Reference 85

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5271404-8ec7-4d04-b8a7-7a8be24f8b27 · outbound

This paper cites Reactive locomotion decision-making and robust motion planning for real-time perturbation recovery,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Reactive locomotion decision-making and robust motion planning for real-time perturbation recovery,

Reference 86

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 301ea5c1-fcf9-4b2f-ab36-2833a706ab10 · outbound

This paper cites On the synthesis of a reactive module,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion On the synthesis of a reactive module,

Reference 87

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8bfbf7d-6bc0-4959-9dc7-036dad1d7f7a · outbound

This paper cites Temporal-logic- based reactive mission and motion planning,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Temporal-logic- based reactive mission and motion planning,

Reference 88

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77dff988-0bdc-4f78-83dd-84baa30cf774 · outbound

This paper cites Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control

Reference 89

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46c7a262-8f6b-4308-89f7-7dc0b3a87de5 · outbound

This paper cites Translating temporal logic to controller specifications,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Translating temporal logic to controller specifications,

Reference 90

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c078471-cb21-48d2-8c47-61fe54b12009 · outbound

This paper cites Sampling-based motion planning with temporal goals,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Sampling-based motion planning with temporal goals,

Reference 91

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25685276-391c-42dd-8229-7f5d6f04fabf · outbound

This paper cites Synthesis of reactive switching protocols from temporal logic specifications,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Synthesis of reactive switching protocols from temporal logic specifications,

Reference 92

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70eed7a4-a762-4ba9-9b67-ac7e36ce9b8f · outbound

This paper cites Iterative temporal motion planning for hybrid systems in par- tially unknown environments,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Iterative temporal motion planning for hybrid systems in par- tially unknown environments,

Reference 93

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01baaff6-683e-43b1-889e-ffcafbbcf785 · outbound

This paper cites Finding missing skills for high-level behaviors,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Finding missing skills for high-level behaviors,

Reference 94

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e259c5e2-a4dc-468b-9a6f-6ac45305d83c · outbound

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

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Physically feasible repair of reactive, linear temporal logic-based, high-level tasks,

Reference 95

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a373ca8-6e9a-4607-8899-ed6410f67d8f · outbound

This paper cites Automated Robot Recovery from Assumption Violations of High-Level Specifications,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Automated Robot Recovery from Assumption Violations of High-Level Specifications,

Reference 96

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1be1a444-38d5-49de-874b-7ded98a9286e · outbound

This paper cites Slugs: Extensible GR(1) synthesis,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Slugs: Extensible GR(1) synthesis,

Reference 97

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f97a1a0-1dd4-4b93-ac14-e061f48faaec · outbound

This paper cites Baier and J.-P.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Baier and J.-P

Reference 98

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52efca03-bf22-4a2b-8a09-a48fa0ff7eb4 · outbound

This paper cites Whole-body motion planning with centroidal dynamics and full kinematics,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion Whole-body motion planning with centroidal dynamics and full kinematics,

Reference 99

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df492e07-d937-4413-9503-bf5bd83ef554 · outbound

This paper cites The mit humanoid robot: Design, motion planning, and control for acrobatic behaviors,.

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion The mit humanoid robot: Design, motion planning, and control for acrobatic behaviors,

Reference 100

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers