Paper Citation Record · LEDGER

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls

As of 20 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2606.12768.

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

pith.paper-citation-record.v1
2606.12768 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T06:25:57.277970Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

21 of 21 outbound references displayed

verified exact2
verified fuzzy0
unresolved19
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 610e3eff-4541-4059-8873-84d4af51a6ae · outbound

This paper cites Clarke, Orna Grumberg, and Doron A.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Clarke, Orna Grumberg, and Doron A

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1607dd92-aa6d-49f0-87c3-79e505b4e8fb · outbound

This paper cites Formal specification and verification of autonomous robotic systems: A survey.ACM Computing Surveys (CSUR), 52(5):1– 41, 2019.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Formal specification and verification of autonomous robotic systems: A survey.ACM Computing Surveys (CSUR), 52(5):1– 41, 2019

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1c0754e-417b-4b38-98a7-9eddb8701f84 · outbound

This paper cites Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1:211–236, may 2018.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1:211–236, may 2018

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 340cf83c-b13f-4fe4-b484-2a17b6a80296 · outbound

This paper cites A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297, 2008.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297, 2008

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21eddd34-3608-4691-970f-a96ca24b8911 · outbound

This paper cites Fainekos, and George J.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Fainekos, and George J

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35eee342-a679-4b87-850d-d32367659b00 · outbound

This paper cites Finite abstractions with robustness mar- gins for temporal logic-based control synthesis.Nonlinear Analysis: Hybrid Systems, 22:1–15, 2016.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Finite abstractions with robustness mar- gins for temporal logic-based control synthesis.Nonlinear Analysis: Hybrid Systems, 22:1–15, 2016

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ed57e20-4519-4fce-aa2c-0659737503aa · outbound

This paper cites ROCS: A robustly complete control synthesis tool for nonlinear dynamical system s.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls ROCS: A robustly complete control synthesis tool for nonlinear dynamical system s

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0afb94bc-d100-4b15-9971-fa667c129026 · outbound

This paper cites Control barrier functions for abstraction-free control synthesis under temporal logic constraints.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Control barrier functions for abstraction-free control synthesis under temporal logic constraints

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49cdd8b9-f9ff-496a-a3a9-84c1199ba5b7 · outbound

This paper cites Control of mobile robots using barrier functions under temporal logic specifications.IEEE Transactions on Robotics, 37(2):363–374, 2021.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Control of mobile robots using barrier functions under temporal logic specifications.IEEE Transactions on Robotics, 37(2):363–374, 2021

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 836c1566-4547-4d9b-89a2-d48552fe8cdc · outbound

This paper cites Dimarogonas.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Dimarogonas

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a085db92-6efe-49b7-aeba-b58dc8fd1770 · outbound

This paper cites Verification and synthesis of compatible control lyapunov and control barrier functions.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Verification and synthesis of compatible control lyapunov and control barrier functions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b01e0e1e-3e9c-4ec4-b34c-644bc068d6e7 · outbound

This paper cites Computing control lyapunov- barrier functions: Softmax relaxation and smooth patching with formal guarantees.arXiv preprint arXiv:2510.02223, 2025.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Computing control lyapunov- barrier functions: Softmax relaxation and smooth patching with formal guarantees.arXiv preprint arXiv:2510.02223, 2025

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-03T15:38:33.444572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 396753d6-5fba-4f45-bfbe-2c755d70dae6 · outbound

This paper cites Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-03T15:38:33.441834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2b6c5b19-ceb1-4f6b-a7a1-8cce27342b41 · outbound

This paper cites PhD thesis, University of Waterloo, 2019.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls PhD thesis, University of Waterloo, 2019

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f146ce4-535b-4fa0-97ae-e302fa33b9af · outbound

This paper cites Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems.IEEE Transactions on Automatic Control, 61(11):3344–3355, 2015.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems.IEEE Transactions on Automatic Control, 61(11):3344–3355, 2015

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb9de8e1-09d2-46c5-87cb-a4b4afee1b37 · outbound

This paper cites dReal: an SMT solver for nonlinear theories over the reals.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls dReal: an SMT solver for nonlinear theories over the reals

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92c9d6c5-b8f5-4649-80dd-f5b7619134b1 · outbound

This paper cites Global clf stabilization of systems with control inputs constrained to a hyperbox.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Global clf stabilization of systems with control inputs constrained to a hyperbox

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d575099-be6f-4083-86c5-25e3cf70052f · outbound

This paper cites LyZNet: A lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls LyZNet: A lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c4cb9f7-5714-414b-92cb-2caeb666c26a · outbound

This paper cites Krstic and P.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Krstic and P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6297da8-806e-4457-b072-b9e1d7f799f7 · outbound

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

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e74c76e3-70e6-41ff-adba-7803ab19b048 · outbound

This paper cites Necessary and sufficient conditions for satisfying linear temporal logic constraints using control barrier certificates.

Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls Necessary and sufficient conditions for satisfying linear temporal logic constraints using control barrier certificates

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-27T06:25:57.277970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.