Paper Citation Record · LEDGER

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis

As of 17 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 1 inbound Pith citation observation for arXiv:2509.10896.

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

pith.paper-citation-record.v1
2509.10896 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:08:19.297672Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T03:07:42.036055Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact3
verified fuzzy32
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b2cf81a6-d4af-4ee9-98ad-a110be887374 · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Control barrier function based quadratic programs for safety critical systems

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:20.033314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9da0b465-b58d-4b75-91b8-6a9da64085ab · outbound

This paper cites Principles of model checking.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Principles of model checking

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T16:08:19.084804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5065da36-3608-4039-80e4-8f851ee0425e · outbound

This paper cites Hamilton-jacobi reachability: A brief overview and recent advances.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Hamilton-jacobi reachability: A brief overview and recent advances

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:20.000311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 28771b3a-ce20-4181-b80c-66f8ff540012 · outbound

This paper cites Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations, volume 12.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations, volume 12

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T16:08:19.099202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 928ea754-f48c-4e08-8078-15ff5e079ea4 · outbound

This paper cites Formal Methods for Control Synthesis: An Optimization Perspective.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal Methods for Control Synthesis: An Optimization Perspective

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.968824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fb0e275b-e87e-48f0-bdea-cb9efa6cacd1 · outbound

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

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal methods for discrete-time dynamical systems , volume 89

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.950520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2e72d829-e064-4b5e-b0f5-16459fe3ce58 · outbound

This paper cites Formal Methods in Manufacturing.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal Methods in Manufacturing

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.933491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 85a5092f-9d32-4d23-9183-3142e8b57e51 · outbound

This paper cites Verifying safety of an autonomous spacecraft rendezvous mission.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Verifying safety of an autonomous spacecraft rendezvous mission

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.915407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 79b5b27e-ba98-41ca-9b28-67efd386d5c4 · outbound

This paper cites Robust sequential trajectory planning under disturbances and adversarial intruder.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Robust sequential trajectory planning under disturbances and adversarial intruder

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.895541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b77a6e7b-f165-4302-8071-20882c95b378 · outbound

This paper cites Signal temporal logic meets reachability: Connections and applications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Signal temporal logic meets reachability: Connections and applications

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.877729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6185654f-c6f5-4cc5-8889-6a57dff629cd · outbound

This paper cites Hamilton–jacobi reachability: Some recent theoretical advances and applications in unmanned airspace management.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Hamilton–jacobi reachability: Some recent theoretical advances and applications in unmanned airspace management

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.860428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 84727da9-75ef-4eea-8814-d7b51803dd46 · outbound

This paper cites Control synthesis for multiple reach-avoid tasks via hamilton-jacobi reachability analysis.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Control synthesis for multiple reach-avoid tasks via hamilton-jacobi reachability analysis

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.843660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8c41551c-1bdd-4dab-a04d-1d5dae59954a · outbound

This paper cites Choi, Donggun Lee, Koushil Sreenath, Claire J.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Choi, Donggun Lee, Koushil Sreenath, Claire J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.824388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8bbf58ab-2a4a-49cf-8244-773431ab82ed · outbound

This paper cites Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.806941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4859a59a-72d6-4451-962d-3a415821fac5 · outbound

This paper cites Symbolic Control for Autonomous Docking of Marine Surface Vessels.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Symbolic Control for Autonomous Docking of Marine Surface Vessels

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:08:19.429898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a2f2a8ff-7b4c-47bb-86a2-3d480bf13a03 · outbound

This paper cites Reach-avoid problems with time-varying dynamics, targets and constraints.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Reach-avoid problems with time-varying dynamics, targets and constraints

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T16:08:19.174413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7115c158-437d-435e-a7c1-04544747aad7 · outbound

This paper cites Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.777851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation cb66419f-864d-4f1d-9085-873153104ca5 · outbound

This paper cites A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.761430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e8ce173e-da2e-4ef2-b6fa-c923ae18607f · outbound

This paper cites Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:08:19.399853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e58d49c8-9b74-406b-8fb4-2bd22a2f02fa · outbound

This paper cites A fully automated framework for control of linear systems from temporal logic specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis A fully automated framework for control of linear systems from temporal logic specifications

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.745567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f01a20f9-ed58-431b-bb0f-d9f7b0a1b2d7 · outbound

This paper cites Control barrier functions for signal temporal logic tasks.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Control barrier functions for signal temporal logic tasks

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.728320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c23e3803-088a-44cf-be3c-47ccd3ac786f · outbound

This paper cites Finite abstractions with robustness margins for temporal logic-based control synthesis.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Finite abstractions with robustness margins for temporal logic-based control synthesis

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.710434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a0c07b06-e43a-4c80-8145-d6f9544f8810 · outbound

This paper cites Hamilton–jacobi formulation for reach–avoid differential games.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Hamilton–jacobi formulation for reach–avoid differential games

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.693587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fbe51d4c-5eb0-4456-a218-ef2810b10a16 · outbound

This paper cites Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.677533Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4e720401-e387-46e3-bdf4-45260ed8e52f · outbound

This paper cites Smooth converse lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid- stay specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Smooth converse lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid- stay specifications

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.659968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 66b7e1bb-2046-442e-be31-9e28a3378d81 · outbound

This paper cites Stochastic lyapunov- barrier functions for robust probabilistic reach-avoid-stay specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Stochastic lyapunov- barrier functions for robust probabilistic reach-avoid-stay specifications

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.645103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation abc9d6cd-59d1-4dc9-9dce-b4f5da1e1fdc · outbound

This paper cites A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.629338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bcc1ab79-5e92-4f09-9691-b6f173ee6006 · outbound

This paper cites Control of Cyber-Physical-Systems with logic specifications: A formal methods approach.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.613189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4e50a5c1-e4e8-48c9-b293-cbedf6cb828a · outbound

This paper cites Feedback refinement relations for the synthesis of symbolic controllers.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Feedback refinement relations for the synthesis of symbolic controllers

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.595669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 53f1f4e9-ff06-463b-8af3-f9bc8901e8d9 · outbound

This paper cites Control of mobile robots using barrier functions under temporal logic specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Control of mobile robots using barrier functions under temporal logic specifications

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.577679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2e5dc01c-3319-44bb-9056-b34398885d74 · outbound

This paper cites Robust STL Control Synthesis under Maximal Disturbance Sets.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Robust STL Control Synthesis under Maximal Disturbance Sets

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:08:19.368703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3487557b-3494-4d2a-8b89-766de6d467a2 · outbound

This paper cites Optimization-based trajectory generation with linear temporal logic specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Optimization-based trajectory generation with linear temporal logic specifications

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.560630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b4785db6-4130-478f-a773-84a204bfbcb4 · outbound

This paper cites Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.543582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 605c9602-d99e-4d8c-a586-b182118af104 · outbound

This paper cites Reach-avoid verification based on convex optimization.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Reach-avoid verification based on convex optimization

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.526460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c48814c0-af08-47f7-bf28-d2ec0e2841ac · outbound

This paper cites Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T16:08:19.276996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 819329f3-a30f-4482-b588-5e7d944b985b · outbound

This paper cites Continuous- time control synthesis under nested signal temporal logic specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Continuous- time control synthesis under nested signal temporal logic specifications

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.508711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a30f4feb-aaae-4dc9-91c6-cd99e8e143b3 · outbound

This paper cites Model predictive monitoring of dynamical systems for signal temporal logic specifications.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Model predictive monitoring of dynamical systems for signal temporal logic specifications

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.486126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7b908171-8f4d-4071-8f12-0d8a5ece9c84 · outbound

This paper cites Formal synthesis of controllers for uncertain linear systems against-regular properties: A set-based approach.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Formal synthesis of controllers for uncertain linear systems against-regular properties: A set-based approach

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.468776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f954ac65-6e61-499c-8677-f3be5f6b3f40 · outbound

This paper cites Efficient path planning algorithms in reach-avoid problems.

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Efficient path planning algorithms in reach-avoid problems

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:08:19.449368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

Observation be21a8c1-b5ea-4f1c-bc1d-a879b36cf7ba · inbound

Exact Decomposition of Adversarial Dual-Objective Value Functions, with Applications to Optimal Drug Dosing cites this paper.

Exact Decomposition of Adversarial Dual-Objective Value Functions, with Applications to Optimal Drug Dosing Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T03:07:42.036055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.