{"as_of":"2026-08-20T21:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d532d83b7b6ea622846f32416ebd58ec7c1713053ae0258ae008b2861d1367f5","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T06:25:57.277970Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.12768/citation-record","integrity":"/paper/2606.12768/integrity","json":"/paper/2606.12768/citation-record.json","paper":"/paper/2606.12768"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Clarke, Orna Grumberg, and Doron A","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:3db13758db5aecefde36ef6eed187e517e9c551acea0c60895f6d3e6008b8625","observation_id":"610e3eff-4541-4059-8873-84d4af51a6ae","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Formal specification and verification of autonomous robotic systems: A survey.ACM Computing Surveys (CSUR), 52(5):1– 41, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:001ab954a4938293fc62912336d0ec4d8de644e44f12717bb93a721f04dde85e","observation_id":"1607dd92-aa6d-49f0-87c3-79e505b4e8fb","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1:211–236, may 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:f325e66297a04b09f3fead21318afdd018d980d517d9d840841a2d5970ccf8c3","observation_id":"b1c0754e-417b-4b38-98a7-9eddb8701f84","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:94f8487863afc9dcf47f2adae37fbc2ac44221ac4f75e7e2ad3bfc832aac56d4","observation_id":"340cf83c-b13f-4fe4-b484-2a17b6a80296","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Fainekos, and George J","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:b3a4fc4eb19b95b2ace2a2480e4ddd880fbea8e26e74b6ebede3a5c3df4ed41d","observation_id":"21eddd34-3608-4691-970f-a96ca24b8911","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Finite abstractions with robustness mar- gins for temporal logic-based control synthesis.Nonlinear Analysis: Hybrid Systems, 22:1–15, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:699172cfa813dec964096baa76dc3c19576bf2582cf2ae61a3334c319c211640","observation_id":"35eee342-a679-4b87-850d-d32367659b00","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"ROCS: A robustly complete control synthesis tool for nonlinear dynamical system s","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:e62f5e1828c24cf94dec27b25424f5f72c652eae4f7126983611277bc4b75720","observation_id":"8ed57e20-4519-4fce-aa2c-0659737503aa","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Control barrier functions for abstraction-free control synthesis under temporal logic constraints","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:dd1fc7d381b4da99d3a8491e9dd87b58d565077ab2a83fb030c8f5d53667cdca","observation_id":"0afb94bc-d100-4b15-9971-fa667c129026","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Control of mobile robots using barrier functions under temporal logic specifications.IEEE Transactions on Robotics, 37(2):363–374, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:9de440400de29525a414b905241da42f16aa71e984dedcec2a72f2afa606a11d","observation_id":"49cdd8b9-f9ff-496a-a3a9-84c1199ba5b7","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Dimarogonas","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:dfc8a2ab065b1a7dfeaf18cb485780836edadf52198074a42c4b0912b4c8a14d","observation_id":"836c1566-4547-4d9b-89a2-d48552fe8cdc","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Verification and synthesis of compatible control lyapunov and control barrier functions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:533cb6cb62c51a809ccc6e19eb61a933d832e97f5b2e0c23046dc6ac11b5b5f7","observation_id":"a085db92-6efe-49b7-aeba-b58dc8fd1770","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.02223","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T15:38:33.442977Z","title":"Computing control lyapunov- barrier functions: Softmax relaxation and smooth patching with formal guarantees.arXiv preprint arXiv:2510.02223, 2025","venue":null,"work_id":"888a5cdd-d9a8-4593-91b2-4a779716f6cd","year":2025},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:a2c0e21d1e2c66dac83b2a7a8f9ac2614897bb966201711943b304e78838706c","observation_id":"b01e0e1e-3e9c-4ec4-b34c-644bc068d6e7","resolution":{"observed_at":"2026-07-03T15:38:33.444572Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.10510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T15:38:33.439928Z","title":"Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025","venue":null,"work_id":"2d36e195-4699-4046-8271-f04b6fe9b9a4","year":2025},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:409d0e725909b095374e1efee60355a79a4d59167472546cf471d4f2e6a6681a","observation_id":"396753d6-5fba-4f45-bfbe-2c755d70dae6","resolution":{"observed_at":"2026-07-03T15:38:33.441834Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"PhD thesis, University of Waterloo, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:0238257e716df665310e6c6eba3d98eb1172ac2e49dc19a55083441e70f593b5","observation_id":"2b6c5b19-ceb1-4f6b-a7a1-8cce27342b41","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems.IEEE Transactions on Automatic Control, 61(11):3344–3355, 2015","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:687d5d677394aa21e0d4fb2b2f350b8d9a74a54569e05d64c009f957aeeabd2a","observation_id":"7f146ce4-535b-4fa0-97ae-e302fa33b9af","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"dReal: an SMT solver for nonlinear theories over the reals","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:eff2849ddbffcc084c076833ea2279384c261cce4c9655f906953341799d4663","observation_id":"bb9de8e1-09d2-46c5-87cb-a4b4afee1b37","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Global clf stabilization of systems with control inputs constrained to a hyperbox","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:a1d5d4d2359a7e68d1ba321336b0d7bdaf21c1f4bd38b8e611a7d75b8db40b1f","observation_id":"92c9d6c5-b8f5-4649-80dd-f5b7619134b1","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"LyZNet: A lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:d680f770e0224229d02bdb2c716d7e96806f82af04cd5d2abcb880f416f85f13","observation_id":"4d575099-be6f-4083-86c5-25e3cf70052f","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Krstic and P","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:ee15fe1d42994065f5d66006cc31b62d2c26d919d3d9fececc32768c05bfb6ea","observation_id":"7c4cb9f7-5714-414b-92cb-2caeb666c26a","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:4875f6051a7ceab73de940511c7be55e08fe2885abf1f924142f83c12a20d5b0","observation_id":"d6297da8-806e-4457-b072-b9e1d7f799f7","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T06:25:57.277970Z","title":"Necessary and sufficient conditions for satisfying linear temporal logic constraints using control barrier certificates","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T06:25:57.277970Z"},"links":{"citing_paper":"/paper/2606.12768"},"observation_digest":"sha256:909c99a5b8821c529169efda8d730c98518ed9859d510348142089e0377075f7","observation_id":"e74c76e3-70e6-41ff-adba-7803ab19b048","resolution":{"observed_at":"2026-06-27T06:25:57.277970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.12768","last_updated":"2026-06-11T00:22:30Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-07-06T23:51:35.904251Z","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":21},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}