{"as_of":"2026-08-15T22:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2c9310ab3b868787d15485e0e83db550ff1d9f086f3c1e68a267d72fef0b42df","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T19:27:20.046253Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2607.07136/citation-record","integrity":"/paper/2607.07136/integrity","json":"/paper/2607.07136/citation-record.json","paper":"/paper/2607.07136"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2304.03849","last_updated":"2023-04-07T22:03:21Z","snapshot_observed_at":"2026-08-15T02:25:51.846369Z","submitted_at":"2023-04-07T22:03:21Z","title":"Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration","version":1},"cited_work":{"arxiv_id":"2304.03849","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.03849","snapshot_observed_at":"2026-07-09T19:36:29.272249Z","title":"Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration","venue":"eess.SY","work_id":"c06e1ca1-72b3-4302-97bb-5f9743310142","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"cited_paper":"/paper/2304.03849","citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:3af5f30e7e90d871f0bec7ba49524020a2b4e47d52c9aa5763bbb3d1eba8a9d0","observation_id":"6d7f5f3f-84cd-4365-9d53-f3ed7ef08580","resolution":{"observed_at":"2026-07-09T19:36:29.273756Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.442706Z","title":"Control barrier functions: Theory and applications","venue":null,"work_id":"a4e14288-7a83-4bbe-b4bd-3076a342efc6","year":2019},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:9e5d80f7a2aa4b58b42ec387353cba2dca2706d0f302b8ddfb3773f9c524299b","observation_id":"65990dcd-5550-4e79-9275-6e129d4d1756","resolution":{"observed_at":"2026-07-09T19:36:29.443834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.444394Z","title":"Spatiotemporal tubes for temporal reach-avoid-stay tasks in unknown systems","venue":null,"work_id":"c5a2d79c-b572-40dc-8b79-882017d018e5","year":2026},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:6f0828c63853b19a1526cacdbdb6db75b8c1badce07e348c40d8819f3d287364","observation_id":"e0d561d8-1cbf-4b87-86d6-85c133d9c411","resolution":{"observed_at":"2026-07-09T19:36:29.445577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.439223Z","title":"Approximation-free control for signal temporal logic specifications using spatiotemporal tubes","venue":null,"work_id":"ce6175cf-353b-4b56-9247-be865a8b6962","year":2025},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:5eea9900c4ed1c31fc1f17f6babf32d964727491de24125ed76602a6afcd57d6","observation_id":"e96b2090-16a5-4ec1-a8a6-cd8d760d71c4","resolution":{"observed_at":"2026-07-09T19:36:29.440430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.19595","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T19:36:29.265797Z","title":"Control barrier functions for the full class of signal temporal logic tasks using spatiotemporal tubes","venue":null,"work_id":"e7f9286b-cde4-48d4-b683-8affa0e940b0","year":2025},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:4d6f1a631cfc1367c71671c8f2e7b26e9b57d9e04436879be663cbff18786de4","observation_id":"1f8f3fda-0935-4e51-9811-0fca271421c4","resolution":{"observed_at":"2026-07-09T19:36:29.267754Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.01426","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T19:36:29.275034Z","title":"Approximation-free control of unknown euler-lagrangian systems under input constraints","venue":null,"work_id":"1145dd81-0ec3-4c40-8c89-7da91354be79","year":2025},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:2e4244dda9980efa62f4231cfd0d4881af1bdb3bdd5f09100b03c46742306266","observation_id":"1cb0dc1b-39df-4011-ad6d-8d9d2a49cac3","resolution":{"observed_at":"2026-07-09T19:36:29.277007Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.479585Z","title":"Robust satisfaction of temporal logic over real-valued signals","venue":null,"work_id":"ced3d952-332b-4323-aff8-bd9a6adf07dc","year":2010},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:7d582f9474e23c1466ef764238f3a61819061d730e07749c6bbe07e8496678c4","observation_id":"b37b5efe-470d-4642-bc02-9f642d5d8f98","resolution":{"observed_at":"2026-07-09T19:36:29.480878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.460043Z","title":"Signal temporal logic compliant co-design of planning and control","venue":null,"work_id":"38b6e349-c503-4007-b3fd-bf80840f9c8f","year":2025},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:e0d831545818b47aee8b362e8d86e284940a7013d557ea7f6cb08cc9ba965f3e","observation_id":"221ec9f2-a179-492c-8d34-a8335d77ea93","resolution":{"observed_at":"2026-07-09T19:36:29.461204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.481412Z","title":"Backpropagation through signal temporal logic specifica- tions: Infusing logical structure into gradient-based methods","venue":null,"work_id":"9408c5a0-e44e-4c8b-9316-63a65e52958f","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:a1a4638172a2f19d6e20adb4f0f2ed8fa32d2763d68c730036b9272534f48c00","observation_id":"a51f7546-e650-4ae9-9668-f209c787e873","resolution":{"observed_at":"2026-07-09T19:36:29.482662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.449547Z","title":"Real-time RRT* with signal temporal logic preferences","venue":null,"work_id":"6ae690bf-9efa-49f1-a927-27e873292641","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:c374b326b341f3af023f5be59670c60b085de274d11a66425579fd07e50a6bfc","observation_id":"055c82c5-2b33-405d-88af-f20ae089371f","resolution":{"observed_at":"2026-07-09T19:36:29.450672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.483197Z","title":"Control barrier functions for signal temporal logic tasks","venue":null,"work_id":"f4e40114-5ad3-4152-b930-fe92ca5986e0","year":2018},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:b50ae3f0304f31e7f0274f2ee2339ce0b3b113f9119eb4a2c93984fa019fc489","observation_id":"e25228f1-33ad-485d-972d-5a0e280f1644","resolution":{"observed_at":"2026-07-09T19:36:29.484414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.461746Z","title":"Funnel control for fully actuated systems under a fragment of signal temporal logic specifications","venue":null,"work_id":"b83cd6bd-e2e1-41ab-a5f2-2d97c444943a","year":2021},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:0304a25239085ee8dbd35b0e5c9130bfd42fa450cbe3a60e53feeee06fd113f6","observation_id":"a5fbc112-2862-4c26-9a0c-a1d54111f113","resolution":{"observed_at":"2026-07-09T19:36:29.462952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.474172Z","title":"Prescribed performance control for signal temporal logic specifications","venue":null,"work_id":"d9d648a8-67d0-4096-ade6-581fe8378f44","year":2017},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:00a35e359f03150ff41d4d7b13785242a7af1bf304176427b3114f6dcf83f0ec","observation_id":"8a58e650-5b85-4f7f-a9c8-3c7653455e67","resolution":{"observed_at":"2026-07-09T19:36:29.475367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.475939Z","title":"Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts","venue":null,"work_id":"b007168e-dea6-477b-ae55-8b70813d44b6","year":2022},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:ca40877c944495c41cd2e0fc67480934010b202a42cde430b3e8328f30a60f5e","observation_id":"08ca1090-8bfe-4f96-946c-6a2f1732fd24","resolution":{"observed_at":"2026-07-09T19:36:29.477162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.470619Z","title":"Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints","venue":null,"work_id":"f5adfc7b-c61a-42ae-9e91-82c172ccfa8f","year":2021},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:7cf8020232ffc4012c880cfce96b172fe0c3c490cdbc086182d6922dbfe4eb0d","observation_id":"14a235ad-8f1a-4cb4-96e6-9cd37eb54418","resolution":{"observed_at":"2026-07-09T19:36:29.471845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.447853Z","title":"Safe model-based control from signal temporal logic specifica- tions using recurrent neural networks","venue":null,"work_id":"e28c64d0-486d-4ea5-89dd-ff9a72aa31cc","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:dfa281d5db1a2cef3eb5eded26124de6040dfebaf3034fca8a5c2814a00a3a9d","observation_id":"09ccfeca-f79f-4475-8b91-6c8348d9d6f7","resolution":{"observed_at":"2026-07-09T19:36:29.449040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.441028Z","title":"Learning robust and correct controllers from signal temporal logic specifications using barriernet","venue":null,"work_id":"94097a04-319b-43b7-9f9b-5a7ab1225d1f","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:25675069f5fe598c0ac1c3ec911bb4a5ceb6409df0f8c8c1b665befad5f8cd8f","observation_id":"0dca3e01-66b4-46da-9385-547cfda8ed4e","resolution":{"observed_at":"2026-07-09T19:36:29.442168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.465197Z","title":"Monitoring temporal properties of continuous signals","venue":null,"work_id":"c151807c-f9d6-438f-ac15-fbdf044c3887","year":2004},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:db32b0e7e22c47ba2cf0bd1daf4e06d73ba9c02e56d20a3d85d9070973dff40f","observation_id":"9352bfbf-288c-46ba-9b9c-be29d5ee1f36","resolution":{"observed_at":"2026-07-09T19:36:29.466372Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.467049Z","title":"Robot control by using only joint position measurements","venue":null,"work_id":"e4f6bc6d-a015-4530-bd96-dfc738ca9865","year":1990},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:f9c1278c7efcd3072132fadae2e5d9d2624d1bf797dd42c893a40590461e423b","observation_id":"5413137f-fef2-4fe4-9557-b1fd49f9250d","resolution":{"observed_at":"2026-07-09T19:36:29.468244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.472416Z","title":"Euler-Lagrange systems","venue":null,"work_id":"1b963e51-160b-401e-8f08-e85b0af7928a","year":1998},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:109c9c9335ef759375d97309b3577fba2519bf555c6d087d883548c112bc2008","observation_id":"26593616-cb21-4105-ace3-e4db0b77c9a4","resolution":{"observed_at":"2026-07-09T19:36:29.473558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.477723Z","title":"An improved artificial potential field method for path planning and formation control of the multi-UA V systems","venue":null,"work_id":"c4001a41-52e2-4817-a7ae-17233248cc2a","year":2022},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:2dba648f6c0f45b4c41552e9eecdfc9a270c0ff3dd48311ce59555f8155b584d","observation_id":"58538ea4-9905-4795-b9ea-9a3889bf3159","resolution":{"observed_at":"2026-07-09T19:36:29.479021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.463477Z","title":"Learning from demonstrations using signal temporal logic","venue":null,"work_id":"08288c0f-e5b3-4487-b570-ec1ea17500d2","year":2021},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:cf8664a6009ff8f9c5f1b398b8c85c9a4bdd56f30bae2609b3b1dd8d03e3a70a","observation_id":"76fc0452-1b95-438a-a847-ceb94e762183","resolution":{"observed_at":"2026-07-09T19:36:29.464636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.456068Z","title":"Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations","venue":null,"work_id":"e5be7f3e-5dbd-45ae-982b-637e69dd0ac3","year":2019},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:ba44afd995ed892971704a26d6c3dd9548e4cb575953c9b1ffaf415274627a1a","observation_id":"ea1ec35f-c0d0-4910-80f4-c3108ec5ff29","resolution":{"observed_at":"2026-07-09T19:36:29.457529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.437457Z","title":"Model predictive control with signal temporal logic specifications","venue":null,"work_id":"ff663d43-5233-48ec-8824-69182f25e779","year":2014},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:3c249efbf0464b7401b84742e18161483f33b6c320272ee761920bccbe62daff","observation_id":"e6edca5b-e530-4e06-b3d4-e92df450a913","resolution":{"observed_at":"2026-07-09T19:36:29.438648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.484973Z","title":"Reactive synthesis from signal temporal logic specifications","venue":null,"work_id":"4cad6e1d-623d-48c3-9eff-2368cbb8a166","year":2015},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:de74c3e687044f44f3915e6366cf8307ef465ae2f45d84cba4ab09da19942016","observation_id":"7d79479f-43cb-41e4-935d-f2616cfac014","resolution":{"observed_at":"2026-07-09T19:36:29.486179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1609.04747","last_updated":"2017-06-15T13:21:04Z","snapshot_observed_at":"2026-08-15T03:49:17.013617Z","submitted_at":"2016-09-15T17:32:34Z","title":"An overview of gradient descent optimization algorithms","version":2},"cited_work":{"arxiv_id":"1609.04747","doi":"10.48550/arxiv.1609.04747","metadata_source":"pith","pith_arxiv_id":"1609.04747","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An overview of gradient descent optimization algorithms","venue":"cs.LG","work_id":"840f481e-6e07-4454-8939-95804142c46d","year":2016},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"cited_paper":"/paper/1609.04747","citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:a92c41f5b4b1acc26c7c68f76be708b8e29bad07ec15fff1bb422cc8900e9f34","observation_id":"7f795e53-f940-4b59-baeb-a74e6b64c579","resolution":{"observed_at":"2026-07-09T19:36:29.270837Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-01T05:08:09.422576+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T05:08:09.422576+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.468801Z","title":"Funnel-based reward shaping for signal temporal logic tasks in reinforcement learning","venue":null,"work_id":"65756f68-008a-4dc3-83e8-20751e31cef7","year":2023},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:054bb607c2fe076e47e730170b315137059b39b3b8ad65c486a70b5026e30bec","observation_id":"63d674f2-2d78-4c3e-bad3-273dae8bf9c5","resolution":{"observed_at":"2026-07-09T19:36:29.470039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.446133Z","title":"Accelerated training of physics-informed neural networks (pinns) using meshless discretizations","venue":null,"work_id":"ca7dc8e8-a74d-4ecf-8a23-587f6efcf0da","year":2022},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:8558cc530b5bd4b548d30bb803e4f5299b05ad065021f231b2122d6d9ef90567","observation_id":"3d0ab773-ecac-4447-8727-d2878d6c5e47","resolution":{"observed_at":"2026-07-09T19:36:29.447309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.451211Z","title":"Robotics: Modelling, Planning and Control","venue":null,"work_id":"bf123b3b-1312-4c22-af16-57c28c37f3a9","year":2010},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:2f9c2c7403edf6c35e1ba6f8ac7b3b795dc7b83abb887bb62690de5c011117d0","observation_id":"4915e258-c76b-4a7a-98df-667ec12abe39","resolution":{"observed_at":"2026-07-09T19:36:29.455380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.458069Z","title":"Multi-agent motion planning from signal temporal logic specifications","venue":null,"work_id":"dff4a882-7702-447d-9f49-108e7d034a0d","year":2022},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:a94603b8c938b2695df5a2db9d50f71029ff1a6e5287bd3fe917a8e241d6aa87","observation_id":"bfe6d674-8431-44ce-9d68-1b6569aa2a7f","resolution":{"observed_at":"2026-07-09T19:36:29.459492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07-09T19:36:29.486733Z","title":"V erification and control of hybrid systems: a symbolic approach","venue":null,"work_id":"c55e81d5-a79b-4f04-b75b-a9024600e570","year":2009},"citing_paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-09T19:27:20.046253Z"},"links":{"citing_paper":"/paper/2607.07136"},"observation_digest":"sha256:7a02194e648ff1639dfbb2d460159f66b0cd8caa64850febdd4fdf2eb9fba892","observation_id":"0f3f4dfc-a516-444f-968f-5202629f8367","resolution":{"observed_at":"2026-07-09T19:36:29.488170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.07136","last_updated":"2026-07-08T08:31:19Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-15T21:12:25.218237Z","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":4,"verified_fuzzy":27},"total_outbound_references":31},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2607.07136."}