{"as_of":"2026-08-13T00:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:86ff908fe1f1dfd709ab1fa23b9ce74d24be1b63e4d6e8250a3bfbf5f2abd7d5","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:58:27.124221Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.13834/citation-record","integrity":"/paper/2411.13834/integrity","json":"/paper/2411.13834/citation-record.json","paper":"/paper/2411.13834"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:26.645905Z","title":"Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the Moore-Greizer model","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.645905Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:46cea15e7c1dd9f7588025b4258d26455dac821e0de9320af494897f923e0357","observation_id":"dc46a7d5-95fb-4596-877b-3fe6a58fcb7e","resolution":{"observed_at":"2026-08-12T15:58:26.645905Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.926520Z","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":"4c43f48a-b30d-4258-b7ce-52d158848273","year":2008},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.648442Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:db37092c6f6b1131e14a7911e3cc5b54098ba784ef6b0838af3f9aa725b2de49","observation_id":"52a1951b-cfa8-433a-a77e-75c740d53228","resolution":{"observed_at":"2026-08-12T15:58:28.929555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.918537Z","title":"Controller synthesis against omega-regular specifications: A funnel-based control approach.International Journal of Robust and Nonlinear Control, 2024","venue":null,"work_id":"cfc1ced0-97f6-46de-a953-bf5959f0ef81","year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.650760Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:527d19959299b43de85da224aeda42b111c782d2080b68dc50338865203d3501","observation_id":"6d192b29-6a84-4d45-bc7e-f1d9ef397fb5","resolution":{"observed_at":"2026-08-12T15:58:28.921599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.785969Z","title":"Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach","venue":null,"work_id":"47611059-b697-41da-96e0-56319dbf473b","year":2009},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.652917Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:67e4daa189da05915629ad6b41944e3cbfd7c518444016dd3a81159bb36ab1c2","observation_id":"b259be8a-48da-4ac4-83de-05ae287d6c27","resolution":{"observed_at":"2026-08-12T15:58:28.913098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.649909Z","title":"Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications.IEEE Transactions on Automatic Control, 66(3):1199–1206, 2021","venue":null,"work_id":"e7a8d0f6-5842-4cc5-8ba2-b9c2d592e822","year":2021},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.655481Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:67a19ecb34f524e53a4d2cbfbcc4de2e278876a83fc9b0a8ca08e0508c9df6e8","observation_id":"244de94a-7e22-49f3-9a3a-12ec0087cf6a","resolution":{"observed_at":"2026-08-12T15:58:28.657006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.612819Z","title":"Controller synthesis for local and global specifications in multi-agent systems","venue":null,"work_id":"0296c310-03f4-4e67-b344-b16b23f007a3","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.658224Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:3c674d780f0ca416dbf33983196f8c522931a94289aff81f9e0937329c118f70","observation_id":"0dca184d-198e-45d7-9070-b4c950c42b10","resolution":{"observed_at":"2026-08-12T15:58:28.630291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.604326Z","title":"Zavlanos","venue":null,"work_id":"6f2bacaf-b7fa-449b-987b-686f37b5ae89","year":1916},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.660502Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:353c55c91d1f6ff3786a37a690ef11c8c7de7cc5e1bc02e93aa431cdfe3a6aa4","observation_id":"c8913b24-a9fd-484e-ae44-ece3239ab890","resolution":{"observed_at":"2026-08-12T15:58:28.606656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.597006Z","title":"Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada","venue":null,"work_id":"2f0f6471-f29f-4aa1-b62f-fd3269458c50","year":2019},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.739719Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:eea41046c447d4295cb6c7188de7343958a02f8ad640dfd9f10b4e5fe2906bff","observation_id":"f68b9a5e-5fc7-4253-a956-68fc32f29fe5","resolution":{"observed_at":"2026-08-12T15:58:28.599754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.742551Z","title":"Formal synthesis of stochastic systems via control barrier certificates.IEEE Transactions on Automatic Control, 66(7):3097–3110, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.742551Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:75ce928ad1ee3e9d2c42884883b6001e9f3fc2e436d6267807e6a4712379a6db","observation_id":"4175f0df-2c95-4be7-93ab-54f248654e14","resolution":{"observed_at":"2026-08-12T15:58:26.742551Z","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-08-12T15:58:26.744909Z","title":"Ames, Xiangru Xu, Jessy W","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.744909Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:4ee732d236b49c86f7c4d7c5b576967abfed0a7dee6a2549d62c2f91e3256c9d","observation_id":"e3779ff1-d1ed-453d-8d25-b6b608626dbe","resolution":{"observed_at":"2026-08-12T15:58:26.744909Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.446405Z","title":"Pappas, and Majid Zamani","venue":null,"work_id":"8ffa7bc2-b3eb-4771-a794-af3de821fbaf","year":2020},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.747276Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:eaf468616b6ec737c82f6b3ef1efb094f42306df7b3c18a7ae463b296f9b42fe","observation_id":"cd281843-827b-42ff-ad62-8c405ea496eb","resolution":{"observed_at":"2026-08-12T15:58:28.516990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.749524Z","title":"Collision cone control barrier functions: Experimental validation on UGVs for kinematic obstacle avoidance","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.749524Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:906a9fb4e66a2813a88692c70c20d0e53643137c3c6036276117dacc1649c130","observation_id":"282d1e7b-8c19-40db-84a6-cc28e9256262","resolution":{"observed_at":"2026-08-12T15:58:26.749524Z","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-08-12T15:58:26.751905Z","title":"Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96–101, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.751905Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:fc3baefbde969e105c0e765870248bda29dedbfb64206d893c8aa5b28e515d6b","observation_id":"c6df503c-377e-4466-9c38-d54e02f6ed30","resolution":{"observed_at":"2026-08-12T15:58:26.751905Z","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-08-12T15:58:26.754249Z","title":"Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.754249Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:16143d46edbeaa0e7bb5c5863b8bad128faf1d4caf1822290b8ae6dfcbeb749f","observation_id":"16304283-7d85-4494-922c-692d4becd7cb","resolution":{"observed_at":"2026-08-12T15:58:26.754249Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.426981Z","title":"Hamilton–Jacobi formulation for reach–avoid differential games.IEEE Transactions on automatic control, 56(8):1849–1861, 2011","venue":null,"work_id":"f5d4daa5-f692-4823-9fe3-b7f85c0ff730","year":2011},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.756607Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:fecb899d11e484900b65b74032f332fdb5bd39db69978e8dd96449c2835455f4","observation_id":"7a7b3a2f-975d-49c4-8372-3f765205f2f7","resolution":{"observed_at":"2026-08-12T15:58:28.430127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.212616Z","title":"Nonlinear optimal control: Alternatives to Hamilton-Jacobi equation","venue":null,"work_id":"c20dd605-7e39-45cb-bdd6-6dc660a7aed1","year":1996},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.759919Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:0b616d630c340ccbd8167b63a0364dfaa1c2234fb30b6ee6b9b853008613fcdb","observation_id":"253c5af3-8d55-4b97-8068-c6bc163765c2","resolution":{"observed_at":"2026-08-12T15:58:28.421968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.184362Z","title":"Hamilton-Jacobi reachability: A brief overview and recent advances","venue":null,"work_id":"4ab27c08-e8b3-46e8-82c5-1914a4bbc3f9","year":2017},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.762231Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:ce435e1dab39cafef7c4b2b89d27482bb6f0d4322b8e5a61c19f22188b1a6a2b","observation_id":"0f912143-6c36-42cf-9198-178f26ebc0b4","resolution":{"observed_at":"2026-08-12T15:58:28.187406Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.176281Z","title":"Reach-avoid problems with time-varying dynamics, targets and constraints","venue":null,"work_id":"f8845a91-caeb-4f7c-9e88-7c8bc6dd131a","year":2015},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.765799Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:775f3063da66b727345ed7e61a88ab527a87aa7c144a8ea0cc636bbde8b50438","observation_id":"ae734071-fe92-41bc-a3c3-998604e3515c","resolution":{"observed_at":"2026-08-12T15:58:28.179304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.767653Z","title":"Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems.IEEE Control Systems Magazine, 43(5):137–177, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.767653Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:cf9fad145bb9a27488fdb6e472e26b165d4b5ca44c35ce4f8e46aaa3e20bf8dd","observation_id":"c558cb08-2f5d-45e8-8194-225eb6111d52","resolution":{"observed_at":"2026-08-12T15:58:26.767653Z","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-08-12T15:58:26.769764Z","title":"Bechlioulis and George A","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.769764Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:5a2bdbd13847b94cd239625285cc5ed07906ccf282b52468133aa28d18afdf5b","observation_id":"78a6db30-fafb-4855-887d-c298cdcbd2d9","resolution":{"observed_at":"2026-08-12T15:58:26.769764Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.160254Z","title":"Prescribed performance control approaches, applications and challenges: A comprehensive survey","venue":null,"work_id":"8317c46c-f534-46dc-b9dd-578a80e8a41f","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.773189Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:7b5cd23bb92723dab6cf5a4d425b62f809cbe683bbb5497285c935519f9df305","observation_id":"5cba6b51-7c79-4df4-ba97-22b9042bced5","resolution":{"observed_at":"2026-08-12T15:58:28.163135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.775512Z","title":"Approximation-free prescribed performance control with prescribed input constraints.IEEE Control Systems Letters, 7:1261–1266, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.775512Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:b87773dec4a677cb4399ce5845fcdf5b9fb81d96211bbc49fe67204d44e1095d","observation_id":"baa2f331-e990-45e5-91d3-742a0b2d3dda","resolution":{"observed_at":"2026-08-12T15:58:26.775512Z","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-08-12T15:58:26.828140Z","title":"Dimarogonas","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.828140Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:62b5ec7ecd7f05ea514d07eab12866e4b82285e3d805384e5b734d798fe73ad9","observation_id":"a3676ad6-abef-4ee5-894f-10a57051fb48","resolution":{"observed_at":"2026-08-12T15:58:26.828140Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.145746Z","title":"Bechlioulis, and Dimos V","venue":null,"work_id":"9ca001d8-7adb-4406-ba6d-a25e23e5d1f8","year":2022},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.865115Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:b2939a6e262948acfe8aeee1a92670b767fce269404363a1f4080d7818c6653c","observation_id":"79654edb-0f9b-44a3-ab15-b33590137d1d","resolution":{"observed_at":"2026-08-12T15:58:28.148176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:28.054902Z","title":"Verginis, and Dimos V","venue":null,"work_id":"44f4ebc6-a107-4d55-aebc-a4ee337209bf","year":2017},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.915208Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:40cd3d2ee22bb208bcc145750311286c012b7594af81c3bb0ee656182fc017d4","observation_id":"130a40f0-b854-453f-86bf-ea8372bcba00","resolution":{"observed_at":"2026-08-12T15:58:28.140967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.963747Z","title":"Funnel control for fully actuated systems under a fragment of signal temporal logic specifications.Nonlinear Analysis: Hybrid Systems, 39:100973, 2021","venue":null,"work_id":"316f4607-3693-4126-956c-122846e92c55","year":2021},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.917565Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:a809f8271d24580448fbdfa68d50dea1a6a377bcf4b3e7ace23edd10da332390","observation_id":"1f4d4964-b2a8-4429-a362-ff47d666ccf2","resolution":{"observed_at":"2026-08-12T15:58:27.966788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.919423Z","title":"Path-following through control funnel functions","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.919423Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:daef4234c3f54248ac9d066f06c53f37faafbfc3f66cf84caebd94d4e7c83362","observation_id":"4276a207-42ae-45de-99d1-ff7a9b536e18","resolution":{"observed_at":"2026-08-12T15:58:26.919423Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.951171Z","title":"Verginis, Dimos V","venue":null,"work_id":"0c764d8d-2563-419e-b38b-dd8f23baf376","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.921666Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:324daef87cff25e55aa14d21422b68a8d629260bc47d32bab6cd5d46a181db7e","observation_id":"7c7cd5e5-0085-4e6c-9357-83dfacc652be","resolution":{"observed_at":"2026-08-12T15:58:27.954040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.828683Z","title":"Verginis, Dimos V","venue":null,"work_id":"e5534839-68ed-4289-822e-e4e45a86c054","year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.924253Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:a272e71bea75511207dc1d8114b524739809b0b75a5927f56770c439f8a842c5","observation_id":"eb6ca59f-1a55-44d0-887d-4de028729bd3","resolution":{"observed_at":"2026-08-12T15:58:27.906633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.926748Z","title":"Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.IEEE Control Systems Letters, 8:946–951, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.926748Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:479b2989cc7c45096d82cf4125be22b95aea289fa64a699873c41e01ddd117b6","observation_id":"b3a629ec-6b62-4397-b63c-2c42f1b13eb7","resolution":{"observed_at":"2026-08-12T15:58:26.926748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.08106","last_updated":"2025-03-11T07:15:49Z","snapshot_observed_at":"2026-08-09T20:42:32.217422Z","submitted_at":"2025-03-11T07:15:49Z","title":"Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes","version":1},"cited_work":{"arxiv_id":"2503.08106","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.08106","snapshot_observed_at":"2026-08-12T15:58:27.161627Z","title":"Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes","venue":"eess.SY","work_id":"22b03e62-6ba3-47dd-a344-fd8af6467dc5","year":2025},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.929208Z"},"links":{"cited_paper":"/paper/2503.08106","citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:8a6c8d01ab510e643917d0548a81b7280397f5fe4980b368945d1eb027a651d0","observation_id":"b0373c03-3b25-4473-a112-e42e070e0b53","resolution":{"observed_at":"2026-08-12T15:58:27.219992Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.08337","last_updated":"2025-03-11T11:50:28Z","snapshot_observed_at":"2026-08-07T17:13:17.506988Z","submitted_at":"2025-03-11T11:50:28Z","title":"Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.08337","snapshot_observed_at":"2026-08-12T15:58:26.932084Z","title":"Spatiotemporal tubes based controller synthesis against omega-regular specifications for unknown systems.arXiv preprint arXiv:2503.08337, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.932084Z"},"links":{"cited_paper":"/paper/2503.08337","citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:67c47a0aee2fa8e23722deeb3302a2f57276134af37c2e17d8c513d1fb73996f","observation_id":"5517a2c2-173b-4ac4-8d3e-496191ec6955","resolution":{"observed_at":"2026-08-12T15:58:26.932084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.10245","last_updated":"2025-03-13T10:45:34Z","snapshot_observed_at":"2026-08-07T17:07:29.314247Z","submitted_at":"2025-03-13T10:45:34Z","title":"Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes","version":1},"cited_work":{"arxiv_id":"2503.10245","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.10245","snapshot_observed_at":"2026-08-12T15:58:27.143774Z","title":"Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes","venue":"eess.SY","work_id":"0723fa98-d42b-4f3f-8222-9669dac55c72","year":2025},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.934840Z"},"links":{"cited_paper":"/paper/2503.10245","citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:5d2dd57495e609c0d67b4a22938dec02a75605cace119624ed0ef70f85198331","observation_id":"63e6ceee-f48e-4d9a-8c3a-271e8e936340","resolution":{"observed_at":"2026-08-12T15:58:27.148643Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.818184Z","title":"Funnel-based control for reach-avoid-stay specifications","venue":null,"work_id":"05102556-66b7-4880-ba7f-e537a7097f7d","year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.937477Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:605384d975316d3b4a05f4b5d212eac29d7d6e28dfdbf3e96301c14e9dccc440","observation_id":"9606cab8-020e-4a84-a79d-3e0033d2053b","resolution":{"observed_at":"2026-08-12T15:58:27.820597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.810716Z","title":"Formulas for data-driven control: Stabilization, optimality, and robustness","venue":null,"work_id":"3815daa6-7c79-4bd8-b762-6ae04ae2d94f","year":2020},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.940083Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:351ad72b7c95810a12f11cada9e56d75f10cee9b0d6d59afed6ab127bf60d24c","observation_id":"fed4efe6-dae6-4afd-b0e6-955f581bb44b","resolution":{"observed_at":"2026-08-12T15:58:27.813299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.660563Z","title":"Data-driven synthesis of safety controllers via multiple control barrier certificates.IEEE Control Systems Letters, 7:2497–2502, 2023","venue":null,"work_id":"c31f2471-e8a8-43e7-8ba1-728eb4b0a0f0","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.942114Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:7f03f481dd3d0993e0950599e169e3094de1e1db1169613fab30736a84c6c515","observation_id":"b7ff4dcf-e683-4b23-84aa-c9a4c03c8151","resolution":{"observed_at":"2026-08-12T15:58:27.761770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.653752Z","title":"Formal verification of unknown discrete- and continuous-time systems: A data-driven approach.IEEE Transactions on Automatic Control, 68(5):3011–3024, 2023","venue":null,"work_id":"f14483a4-2224-4ca5-8f80-6470caea3b9c","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.944633Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:a3bf5644c439eab9f513b8767c26cea33c02825baf96379f88615d8cd0f55c9a","observation_id":"05d7684d-de9c-4338-8b64-62ea5ef54e9f","resolution":{"observed_at":"2026-08-12T15:58:27.656351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.947043Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.947043Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:46d59c3eac5963ad229a0ed79564e433333b9dc25ca97a85e6f87e7580300304","observation_id":"b1cb9ea2-e2b4-4def-bc47-c8afa7003278","resolution":{"observed_at":"2026-08-12T15:58:26.947043Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.643378Z","title":"Direct adaptive controller for nonaffine nonlinear systems using self-structuring neural networks.IEEE Transactions on Neural Networks, 16(2):414–422, 2005","venue":null,"work_id":"8916856a-57a1-46de-983e-ab370fa1dab3","year":2005},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.949046Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:f4841f7e187fef16b8192abee57900c35222f4f4b2d8d0f71b4d3cd10598731a","observation_id":"875d1a7d-a4a6-44ae-a08d-5222e296bd35","resolution":{"observed_at":"2026-08-12T15:58:27.645948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.636210Z","title":"Adaptive neural-network control of mimo nonaffine nonlinear systems with asymmetric time-varying state constraints.IEEE Transactions on Cybernetics, 51(4):2042–2054, 2021","venue":null,"work_id":"a36b40e5-7c81-4f8a-93d2-cc35986e4bbd","year":2021},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.951269Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:3d8ccbeb4b87741f49ae2b39d17a74927e4e9198d6c4b97fc1244902811135f2","observation_id":"36e065f8-888a-4885-aa09-924db534cd21","resolution":{"observed_at":"2026-08-12T15:58:27.638994Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.486657Z","title":"Bechlioulis and George A","venue":null,"work_id":"c42cb3d2-3c6e-44ce-97ff-20cac4a938c5","year":2014},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.953411Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:64c81e3ba54b5ebfbaf70564f028b08b16b801e2bb836bad99354d42fed75778","observation_id":"a5973122-a357-4cf7-a585-19783d0ce9d6","resolution":{"observed_at":"2026-08-12T15:58:27.545335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.955414Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.955414Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:b7c1198627fa2c09455db4510eedc0f6abef2bcc8ac606e395d875dc26462fc5","observation_id":"68ae97ad-13ff-4140-8f52-9d3be780d122","resolution":{"observed_at":"2026-08-12T15:58:26.955414Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.475754Z","title":"Z3: An efficient SMT solver","venue":null,"work_id":"d21ae8c5-1cab-4729-9f31-cb580a4017ac","year":2008},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.957547Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:10be27db327d430791e98ef4251e29cfeed7aa97db45b3dca2dd124b31939491","observation_id":"fdcab1e5-42b1-4915-bf10-68293337bc8c","resolution":{"observed_at":"2026-08-12T15:58:27.478568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:26.959724Z","title":"Sampling-based algorithms for optimal motion planning.The International Journal of Robotics Research, 30(7):846–894, 2011","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.959724Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:3c2d1c7722ca7030a7e4cf119496a44d181b7fd5ffacabfdb053a5e5cf4f516a","observation_id":"790e073c-fc95-4f98-b038-9547b38ebaa4","resolution":{"observed_at":"2026-08-12T15:58:26.959724Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.464735Z","title":"Dynamic obstacles avoidance using nonlinear model predictive control","venue":null,"work_id":"02270861-a3b2-4e5b-9ac0-3552aee426a1","year":2021},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:26.961946Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:04972f93487d6a3e70993a8f6d35e78ead469ddd4ff86bb0a4b610a1a9377d64","observation_id":"10bafff0-e8d5-4dc3-a061-212ab940357b","resolution":{"observed_at":"2026-08-12T15:58:27.467417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.457072Z","title":"García, David M","venue":null,"work_id":"8e03f0fb-f647-4b7e-a01e-660da73b5fa3","year":1989},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.028318Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:0b82ea56d0dca8a4290d37ffb1727c237db61d6200219c4a470ac993ed2eb5c7","observation_id":"8a6d4704-22e6-4dad-b412-8df974427155","resolution":{"observed_at":"2026-08-12T15:58:27.459806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.449828Z","title":"CRC press, 1998","venue":null,"work_id":"ead4e7ff-c355-414f-bfb2-f2554a089064","year":1998},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.045872Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:43490dfc9e10ca3782fad52ea0ea950397aeca12769e4850e940da438aaafe0b","observation_id":"dd2e17c3-0fa7-4cda-be40-61c7f01b3ed0","resolution":{"observed_at":"2026-08-12T15:58:27.452442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.442622Z","title":"Rungger and M","venue":null,"work_id":"55f65c03-f06f-4c91-a306-ece1b2bfc09a","year":2016},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.105550Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:42219b978bca984f650835f00330ee73db02f91c11158203a535892698179180","observation_id":"7a8dd423-3576-4f65-8979-0c9bbb5052fa","resolution":{"observed_at":"2026-08-12T15:58:27.445321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.435462Z","title":"Spong, S","venue":null,"work_id":"106ccd52-ab18-4fe8-8812-d2ba0e8ea996","year":2005},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.108227Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:291bf1d60935489d15980d012bc93baa68bd9be4273bcef7e225aaaf34361dd4","observation_id":"64d0cdac-07f9-489c-8b44-36fdb48e1f8a","resolution":{"observed_at":"2026-08-12T15:58:27.438130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.342320Z","title":"Towards backstepping design for incremental stability","venue":null,"work_id":"483ce033-1270-4c6f-90d9-345b8208f37e","year":2010},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.111407Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:31ea20c28ce267851514c6e99abb29344a83f51f62fd1bc11db1d0e0d8301f7e","observation_id":"28743d55-703b-4a0d-ae75-3402f6040430","resolution":{"observed_at":"2026-08-12T15:58:27.381119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T15:58:27.113872Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.113872Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:e4749b432cbc80687857e419a4b305f9a12cb87ef755aacfcd4d08b8dc2fd4b2","observation_id":"0be11fbb-066d-46f0-9836-0965963fd4fc","resolution":{"observed_at":"2026-08-12T15:58:27.113872Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.265929Z","title":"Review of autonomous path planning algorithms for mobile robots.Drones, 7(3):211, 2023","venue":null,"work_id":"1b71156d-b545-445a-9425-ea902313bc9d","year":2023},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.116150Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:22b7ee950588ed07824c8a160847cc7489a04fa6d773e287afad4f3e445c2e18","observation_id":"dde13c74-473a-426c-8d4a-2a2c248670d0","resolution":{"observed_at":"2026-08-12T15:58:27.268657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.257977Z","title":"helperOC: MATLAB library for optimal control and reachability analysis","venue":null,"work_id":"385b9da3-9ee2-4c26-85dc-0f309b829b3c","year":2024},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.118790Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:5f8bfe69a9237a2c3ab434eee8cac858053117646abf2fb3c1346cb3120becff","observation_id":"7deb835a-8187-4578-b4dc-c0e60802c31c","resolution":{"observed_at":"2026-08-12T15:58:27.260792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.250090Z","title":"A toolbox of level set methods.UBC Department of Computer Science Technical Report TR-2007-11, 1:6, 2007","venue":null,"work_id":"5856569f-e4d5-4591-a8f3-4d311bf06baf","year":2007},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.121698Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:d64c4e28cebd7c2f6b2c64e9e1fab14160c18ebf0ba883f5427a33837257f41f","observation_id":"ada0c4cb-ca7a-4e37-850c-c5160e2e5971","resolution":{"observed_at":"2026-08-12T15:58:27.252886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:58:27.242750Z","title":"Wood and B","venue":null,"work_id":"4c64e4da-4535-426b-8530-9a33d4f033bf","year":1996},"citing_paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T15:58:27.124221Z"},"links":{"citing_paper":"/paper/2411.13834"},"observation_digest":"sha256:8769c9b40f4973bbff055d01daadd320a42dd31a6e1b0afea0cb2cc458a06691","observation_id":"0b158fb9-42cd-471f-ad2c-37ff3f20f6e3","resolution":{"observed_at":"2026-08-12T15:58:27.245416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13834","last_updated":"2025-09-12T05:41:10Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-12T15:47:03.501015Z","submitted_at":"2024-11-21T04:50:08Z","title":"Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":2,"verified_fuzzy":36},"total_outbound_references":55},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2411.13834."}