{"as_of":"2026-08-20T00:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:89bf14b11e322ae4afaaf5bb3ea1bc1d2ea9a5365c121f162e1139ccddf60a8d","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T04:34:45.656594Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T13:16:06.528609Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.23240","snapshot_observed_at":"2026-08-01T13:16:06.528609Z","title":"Signal temporal logic motion planning via graphs of convex sets.arXiv preprint arXiv:2605.23240, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T23:12:12.367818Z","submitted_at":"2026-07-21T15:30:55Z","title":"STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.528609Z"},"links":{"cited_paper":"/paper/2605.23240","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:15be1f3b38a9b1b2a525d69dc9187df971bb64b793e4567c5297518ba46ec37a","observation_id":"331d3243-4641-4016-9c97-bf1b25b292a2","resolution":{"observed_at":"2026-08-01T13:16:06.528609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.23240/citation-record","integrity":"/paper/2605.23240/integrity","json":"/paper/2605.23240/citation-record.json","paper":"/paper/2605.23240"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Synthesis for robots: Guarantees and feedback for robot behavior","venue":null,"work_id":"75ce6682-a488-4d46-9dbe-3dd300f9bc8c","year":2018},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:d427ff5f3c450014f486b5e603e6e6415a82d3defd3a117a65a6ea1c4e15c5d7","observation_id":"b8bfcb23-166e-4016-9064-5a365d64693e","resolution":{"observed_at":"2026-05-25T04:35:21.975007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T03:30:38.903021Z","title":"Formal methods for control synthesis: An optimization perspective","venue":null,"work_id":"9c82ebc6-db68-44d5-bd75-3c7c0ef7d85a","year":2019},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:c6b2145fbf865bab6cd6c69a5d16a44512443639b3a75cb07c3b8625056cafaf","observation_id":"025ce7b1-2386-4747-b353-2b068b984997","resolution":{"observed_at":"2026-05-25T04:35:22.133721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges","venue":null,"work_id":"e22cc4d6-fbe3-43c5-9cd9-84145c8047d3","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:c993cd2797c35086367566dfd4e5107744eb73242b96a0107dc8c14195b287bd","observation_id":"70a2d363-264f-4928-b408-556d504e7fd3","resolution":{"observed_at":"2026-05-25T04:35:22.012524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Monitoring temporal properties of con- tinuous signals","venue":null,"work_id":"e76c2aa9-0b54-4f7d-b753-a59270d699ae","year":2004},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:9c4f96177a0c87e33be61509d261cc27ae2de624f8f13372685c736a1f682b78","observation_id":"76064b8c-66fc-472c-8088-0e0ce3aed2c0","resolution":{"observed_at":"2026-05-25T04:35:22.006120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Temporal logic motion planning for dynamic robots","venue":null,"work_id":"f39f25ad-2b85-4293-9df2-8b13b6b36534","year":2009},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:62f22544733b5a81528d2067e9d483b1a435a9420031e47758854625e7d5eb17","observation_id":"df94d16b-116b-4fb0-b36e-fc6b799c096c","resolution":{"observed_at":"2026-05-25T04:35:22.009299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications","venue":null,"work_id":"e4bb0d21-f005-4c17-9fc1-744d3f1f4fc7","year":2021},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:3472a209236df1f2bf96306742f2078281d8522b15e1297052c57842c3909b25","observation_id":"ac04b7fd-2176-4a19-ae9a-480f9a6387b3","resolution":{"observed_at":"2026-05-25T04:35:22.021953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"STLGame: Signal temporal logic games in adversarial multi-agent systems","venue":null,"work_id":"754148bf-60a3-496a-a8cf-4abb8180733c","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:c619bba7065a2530582c8a182024f94e2b80ce6f4ca8455a5cfa2b080281affa","observation_id":"25cdccae-e78e-49ed-880a-2bacef332e2e","resolution":{"observed_at":"2026-05-25T04:35:22.038844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Learning from demonstra- tions using signal temporal logic","venue":null,"work_id":"10f0cc91-6b03-4841-b610-a844ffc5d71f","year":2021},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:186f2b2635cedb1510a926ded204e7251b22fc040a456db99ae3debb766b28af","observation_id":"046ab76d-82c0-40fb-af14-78d7befdecd5","resolution":{"observed_at":"2026-05-25T04:35:21.990939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Cooperative object manipulation under signal temporal logic tasks and uncertain dynamics","venue":null,"work_id":"c47d4dda-b8d1-4e57-9131-498411804a27","year":2022},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:842eab509ffda11062df88a2228a2b6e3f186487ada3c50a277fd04e3b5bd906","observation_id":"2bf3ba58-8783-407d-a7b4-824ef0b2e0e5","resolution":{"observed_at":"2026-05-25T04:35:21.994247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Neuro-symbolic generation of explanations for robot policies with weighted signal temporal logic","venue":null,"work_id":"b7fae86d-ca95-4722-aacf-0f1a8239bea5","year":2026},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:e73f3fd310344c85960a529be2fa3f458611e137285b185aa0f2c9db28d97070","observation_id":"baafa736-0ee8-4ce8-b425-b776195009fe","resolution":{"observed_at":"2026-05-25T04:35:21.984939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Robust-locomotion-by-logic: Perturbation-resilient bipedal locomotion via signal temporal logic guided model predictive control","venue":null,"work_id":"f75fdd24-e1a3-4dcf-97f2-9420e5b1e65d","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:1648d7d7d537a786632d5766991d5cc9b60d9125faf975d692e1b24464cd3287","observation_id":"4154bb92-353e-43d0-87b3-c9ef5c758c62","resolution":{"observed_at":"2026-05-25T04:35:21.981886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Model predictive control with signal temporal logic specifications","venue":null,"work_id":"10c79fe3-9b3e-4260-9de3-f24dd0a2dcca","year":2014},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:1a15a6a81aa5d85a67a1899bd74a762196175a081bfb65b75fcd7063abd9e9f6","observation_id":"08803ff2-3e2e-4ca8-9332-5abba2c8d75b","resolution":{"observed_at":"2026-05-25T04:35:21.987464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Robust temporal logic model predictive control","venue":null,"work_id":"34594355-f7b0-4bec-94b7-41aba1c4d468","year":2015},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:619040769810e1659d651a5ecb5e2d4d5a015ead4ea594380ac3fb726ae77db9","observation_id":"a024ead4-938b-42b2-b7ee-e48e3517f9d0","resolution":{"observed_at":"2026-05-25T04:35:21.997062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Robust model predic- tive control for signal temporal logic synthesis","venue":null,"work_id":"08926501-3b4a-43e9-851e-e8a8546e1320","year":2015},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:aebe95b9cb1fd8c476bcb2e04d5817e6ea12cc939f4ffd0634887e95cddbd7db","observation_id":"31c208b5-ce45-4f1e-bbbd-557cb5924413","resolution":{"observed_at":"2026-05-25T04:35:22.000102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Mixed-integer programming for signal temporal logic with fewer binary variables","venue":null,"work_id":"9867a9e2-449a-4d18-8c06-a78bd3ae13bc","year":2022},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:ba26e833455e8a002ef4a23b5ca917846fc5e2502ea5bec6e655d885a4aaa76c","observation_id":"fcfde4c2-3a79-4b2b-aafc-85f0e57d4cf6","resolution":{"observed_at":"2026-05-25T04:35:21.978871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming ap- proach","venue":null,"work_id":"eec83c08-79e2-46da-8250-39ad0b72ced5","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:6b1bb2e2ddff4468629eaaa1fe7494da2eb69a1f0eb3b0cefb7730e5d938c27c","observation_id":"5610c3a8-ad0e-403e-988c-f7d97ed7a099","resolution":{"observed_at":"2026-05-25T04:35:22.003142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Trajectory optimization for high-dimensional non- linear systems under stl specifications","venue":null,"work_id":"f22fa5d4-4984-4399-b2a6-4898ec5b7310","year":2020},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:2e9ed9fd14338fa00219a23c5d8ddf5bf60c9168347c708bd9d6895ea81ff654","observation_id":"a8704a67-b024-481e-83cc-c2ddc09416bd","resolution":{"observed_at":"2026-05-25T04:35:22.035219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Differential flatness of mechanical control systems: A catalog of prototype systems","venue":null,"work_id":"277f474c-fa13-4a0a-a7d7-b9386adc8781","year":1995},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:34c0b9afa771eb2876a290e3da36c56eab7ac57ef39fea70eb4c01bfb956a80d","observation_id":"6a447957-c93b-4868-934e-937b26f618df","resolution":{"observed_at":"2026-05-25T04:35:22.143170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Marcucci,Graphs of Convex Sets with Applications to Optimal Control and Motion Planning","venue":null,"work_id":"8a501e89-ed74-43e7-8846-c04e09ade58e","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:ac4de0bd7cd2f8de336e65a4d69fb7678ed865ef67036646389e4a2803016eb4","observation_id":"1a6ee013-6b63-4e6e-96a2-987fd8b54abb","resolution":{"observed_at":"2026-05-25T04:35:22.137111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Shortest paths in graphs of convex sets","venue":null,"work_id":"6ff5080f-a2dc-402e-84bd-42fe0049f03f","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:5a7171642b714b60b0bc6369ba3a7879d8401c29b0f4eaf8139f01cac4b19d40","observation_id":"e4bdfcf8-1019-4778-be59-e6a4e783ec88","resolution":{"observed_at":"2026-05-25T04:35:22.146170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Motion planning around obstacles with convex optimization","venue":null,"work_id":"4e613f6a-fa0a-4234-bee7-b3c5331764ca","year":2023},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:aa7cfae84f5642e5fd33bda2a8cc21b74071d6f01c94398fedcf290845b7d819","observation_id":"6aba9c89-f136-453a-a8f8-17fd6fcc7035","resolution":{"observed_at":"2026-05-25T04:35:22.124381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Temporal logic motion planning with convex optimization via graphs of convex sets","venue":null,"work_id":"c512203d-2f58-409d-8fb0-226db72cb404","year":2023},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:02dd68094a0cfbcd53ce75e3e0b13f4fb37e4a52da20c9571fe03126c72681e4","observation_id":"d72929aa-34dc-47bc-8687-6fb6041f4515","resolution":{"observed_at":"2026-05-25T04:35:22.115298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Reac- tive synthesis from signal temporal logic specifications","venue":null,"work_id":"dc47529a-8b67-4230-a70e-6ba990faacc0","year":2015},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:bce9f8412f8d2bcd6b2dc79345bada335bac5b6c2d756313b70e92782bfe82eb","observation_id":"bc05ee9a-6566-4508-9d2a-ada56d64e8c5","resolution":{"observed_at":"2026-05-25T04:35:22.118424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Mixed integer linear pro- gramming approach for control synthesis with weighted signal temporal logic","venue":null,"work_id":"6839186f-e7f8-48ac-9a3a-b9d3652d7b44","year":2023},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:99941168803b7ce99845a61b77faff5d48962fe86a81de823080de1788705b0d","observation_id":"8cb93ab7-98ff-43cf-a133-48ba5aaf53bd","resolution":{"observed_at":"2026-05-25T04:35:22.121444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Multi-agent motion planning from signal temporal logic specifications","venue":null,"work_id":"b645a890-f6b5-4f08-903a-84ad743765fd","year":2022},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:6fb96a851c3af5c0ad5ae744ffa5c954d0dbe7c9489e6938001953d6c6dc7b4f","observation_id":"ecc877ee-fc16-4f13-81f1-bf2563a48162","resolution":{"observed_at":"2026-05-25T04:35:22.127243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Optimization-based model checking and trace synthesis for complex stl specifications","venue":null,"work_id":"536bd82a-9fbb-40fa-bc92-2e8e785ebf1c","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:269c2d73118a2be4ed0543a01c0b5187c3acc42c8e2834f27a2aa576ca3cb05f","observation_id":"b1c892bc-2dbf-49a1-9d65-7bae2a7d96c4","resolution":{"observed_at":"2026-05-25T04:35:22.106023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"A theory of timed automata","venue":null,"work_id":"c6e0fadb-50eb-4cad-82cc-f1d24e5df17b","year":1994},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:dcd2fb97c3eb4e84f02b056b9a3bc9c20387c9728f6f7dca1d454dad8473900e","observation_id":"d49ac5fa-7f22-4f5d-82d3-b903b6ae3772","resolution":{"observed_at":"2026-05-25T04:35:22.108693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"The benefits of relaxing punctuality","venue":null,"work_id":"55af9aa3-4609-4ac4-adea-b1daaabb855c","year":1996},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:acaaad3fb069005ed801fc785ea3319401e130fa94f594de8e1b6cbffc47d3bc","observation_id":"733f007a-128e-49c4-b7b6-43ac3049170a","resolution":{"observed_at":"2026-05-25T04:35:22.112011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"MightyL: A compositional translation from MITL to timed automata","venue":null,"work_id":"c4dfdeb9-cb57-4696-b949-a67b3dedd34a","year":2017},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:c82f66173c3ba847d488d3d809229c7d9e705372339640906c15808d9a95699f","observation_id":"6d68a04c-c1f5-4cb0-818f-2fb796240c54","resolution":{"observed_at":"2026-05-25T04:35:22.130603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"From real-time logic to timed automata","venue":null,"work_id":"cf020ce6-2c9e-40ec-a0a1-0813359afd4c","year":2019},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:09e9f2ffb999c6d1c88ef02af08b3a00b233249a8bde2bb2b47da11deccc808f","observation_id":"e7882524-2966-4410-a004-ab1d492ce8ff","resolution":{"observed_at":"2026-05-25T04:35:22.149226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Computational methods for stochastic control with metric interval temporal logic specifications","venue":null,"work_id":"ba8a2ea0-f01b-4d17-b569-f350a8e4d1f6","year":2015},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:94b9d5167482378e45717cacdd92019c2862ad06c9c7201cc49b55fe69929a3a","observation_id":"f01e9f69-dc3a-409c-8821-a48e50be00c4","resolution":{"observed_at":"2026-05-25T04:35:22.096350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Timed automata approach for motion planning using metric interval temporal logic","venue":null,"work_id":"ca5b883b-7163-47fe-9826-13e9dba13038","year":2016},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:d8768bb9f90dd4b6440b39a0b66c0dabfa125f27ad6669ffeab68475af94cea9","observation_id":"92070242-6496-4d67-8541-c302ba551e8a","resolution":{"observed_at":"2026-05-25T04:35:22.099745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Cooperative task planning of multi-agent systems under timed temporal specifications","venue":null,"work_id":"d921ba59-091a-4d10-b650-4dd86c54c8b4","year":2016},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:cbdffa2617c2cc65d20fdecc836bad024ba25c578670b74895dc88345cb15116","observation_id":"d32a6e25-aabf-4cfe-a004-dc70e154ddd3","resolution":{"observed_at":"2026-05-25T04:35:22.102953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Efficient automata-based plan- ning and control under spatio-temporal logic specifications","venue":null,"work_id":"251f48a4-8fc7-4b8d-a406-06ebdbacea34","year":2020},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:ba054751d9cc6af54fdabfa4344fea87acfa8ad0458a9107c0d1c774cff3419f","observation_id":"308eb1f5-50a2-449d-b947-e4858ef69b01","resolution":{"observed_at":"2026-05-25T04:35:22.089551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Randomized kinodynamic planning","venue":null,"work_id":"47984435-76dc-473d-ae9d-0d1df6644290","year":2001},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:3b302cdc4559a6a70f2205e27a10ef602b084eefb6456f650ac5eebba3300c6d","observation_id":"91dccae6-cd50-4ffd-a56d-b853a31cd4b1","resolution":{"observed_at":"2026-05-25T04:35:22.082845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T02:40:38.396785Z","title":"Sampling-based algorithms for optimal motion planning","venue":null,"work_id":"d0d2c860-94d2-4bc2-81f7-cc9dacd03192","year":2011},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:cd8eb2d1a4ee92ad2ca897294fafe55be3c9bba56d86fc357eef6e8248724dce","observation_id":"3f3c0d7f-a6b1-4a04-a971-10e30b55d8d2","resolution":{"observed_at":"2026-05-25T04:35:22.086258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications","venue":null,"work_id":"caf73b9f-bc05-45bc-b55b-7a853c3b8716","year":2017},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:83a2152c8f5312606f45bfab2f43cc4342c2021b4b952448abd897000c39edb8","observation_id":"3617bfaa-fcab-4643-b9ae-4ee91e8c8a30","resolution":{"observed_at":"2026-05-25T04:35:22.092892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.16825","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T12:55:44.873466Z","title":"RRT η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness","venue":null,"work_id":"8afbd26d-ad91-428f-b267-5809df2de08c","year":2026},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:44cad623aafdcc15f650de02cf65a28ee399f3835b2668c2f33841a1d93143c4","observation_id":"2df9366b-1ee5-4f20-94c1-ce09a905b817","resolution":{"observed_at":"2026-05-25T04:35:20.750741Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Sampling-based planning under stl specifications: A forward invariance approach","venue":null,"work_id":"16cb95f6-974d-48ce-aef2-f95e0240f975","year":2026},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:153bf69fbe829f71deae6f1721c675b9b047531eb552134bfa14b481d0f26cb2","observation_id":"122aaffd-4d8b-40a7-ad2c-64390194a35d","resolution":{"observed_at":"2026-05-25T04:35:22.077208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Automaton- guided control synthesis for signal temporal logic specifications","venue":null,"work_id":"772567fa-d62d-4463-9515-4a9e10db9ff2","year":2022},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:7a94dbeec9063a374bdfd9a5ba5d0d386c395b4675ab8938d09d78c37242cd16","observation_id":"89b1fae3-30b3-4e2a-ada0-0b4603e91504","resolution":{"observed_at":"2026-05-25T04:35:22.070720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Q-learning for robust satisfaction of signal temporal logic specifications","venue":null,"work_id":"11839481-020a-46bd-ac49-f43a10991264","year":2016},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:e70f3eea0aa389c3dcd5211d04bbe0f76a226979753f1d91554b46394ad034a9","observation_id":"4c1f0ce6-d3b0-4663-8980-e17d41e993c9","resolution":{"observed_at":"2026-05-25T04:35:22.074005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Structured reward functions using stl","venue":null,"work_id":"4fd67173-a13e-4d16-8550-12b023ae9635","year":2019},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:6ee02e4e84b9145ad00f37ddabb830a07d329bf1687a2209de123d597adeb5b8","observation_id":"5dd654ba-2d36-49ef-b3d3-0c6e2b097cc3","resolution":{"observed_at":"2026-05-25T04:35:22.080120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Tractable reinforcement learning of signal temporal logic objectives","venue":null,"work_id":"c7cdfb66-ed3e-44a2-8449-48700e30c21e","year":2020},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:44d6c5ca3a289140764c62a5037d837fe8a34c5e05393b75271f58f575d247f5","observation_id":"664a8239-f99c-4cca-9eca-3fe53bb9f77a","resolution":{"observed_at":"2026-05-25T04:35:22.058654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Model-free reinforcement learning for optimal control of markov decision processes under sig- nal temporal logic specifications","venue":null,"work_id":"c5afe7d3-ecf0-4135-bc15-4f7cdafb5823","year":2021},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:21b97f794b2ee2917caaf5b7b7bd6eb65912a5d6f1837f374a68da07915c2277","observation_id":"71cd5de9-fb3f-46bf-bedd-21d45c8f36a9","resolution":{"observed_at":"2026-05-25T04:35:22.055888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Deep reinforcement learning under signal temporal logic constraints using lagrangian relaxation","venue":null,"work_id":"090d8e75-5450-4859-8edc-0574c1815cfe","year":2022},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:517e947010ea95f89214c0188ed3b94cd7dff97f1663e1cbcbc73cbde7c7cc16","observation_id":"91ec468b-28c7-4645-ae27-2c5de7450550","resolution":{"observed_at":"2026-05-25T04:35:22.062905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Synthesis of temporally-robust policies for signal temporal logic tasks using reinforcement learning","venue":null,"work_id":"6644fa70-be58-44ef-8589-35159c96282d","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:2a4a9a7e71a290779bb36760c7942b7d2567e5561312e432ab39333ae1d9d56c","observation_id":"6eb48b81-1877-43c9-ade7-f2e69c95f03a","resolution":{"observed_at":"2026-05-25T04:35:22.047817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Guided conditional diffusion for controllable traffic simulation","venue":null,"work_id":"090300ed-9659-489a-afa2-9307fba6d392","year":2023},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:87da7dcac9b5afb07a421b8db4f2c2002d495923abea22aab89e8ab0e4a53edb","observation_id":"e6cb1c68-bdf7-417f-9b6e-9ed789b32fcc","resolution":{"observed_at":"2026-05-25T04:35:22.050580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Diverse controllable diffusion policy with signal temporal logic","venue":null,"work_id":"d527d018-b588-4048-afc0-bec5ecc2d890","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:12427b26c50505bf8cdff30ed88fd70079d3b46f329b84c485de8a8846535810","observation_id":"5fc3af26-fc84-4162-af0a-2e6195154a98","resolution":{"observed_at":"2026-05-25T04:35:22.053068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Zero-shot trajectory planning for signal temporal logic tasks","venue":null,"work_id":"11991a6e-91b7-4548-82c3-21aa5dcd5780","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:205551595afb985f5c23e5253abce7ba4d1cbdd202280f05acca359889305697","observation_id":"01431baf-70db-4d70-ad4d-d3d40f191ffd","resolution":{"observed_at":"2026-05-25T04:35:22.067056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.18343","last_updated":"2026-04-20T14:41:37Z","snapshot_observed_at":"2026-08-17T07:20:37.182942Z","submitted_at":"2026-04-20T14:41:37Z","title":"DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications","version":1},"cited_work":{"arxiv_id":"2604.18343","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.18343","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications","venue":"cs.RO","work_id":"66df6ac0-9972-4c87-8d67-af849b7fb13c","year":2026},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"cited_paper":"/paper/2604.18343","citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:3e1ceb8e09469a69b8c3e1508e1152c6b209e8afe43e82180dd35b8b1214150b","observation_id":"e6ea4122-9084-47e1-b43e-f4eed050e7b8","resolution":{"observed_at":"2026-05-25T04:35:20.745715Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.24235","last_updated":"2026-08-12T03:43:59Z","snapshot_observed_at":"2026-08-18T15:12:18.615748Z","submitted_at":"2025-09-29T03:20:05Z","title":"Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning","version":2},"cited_work":{"arxiv_id":"2509.24235","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.24235","snapshot_observed_at":"2026-08-13T01:24:42.044673Z","title":"Towards tighter convex relaxation of mixed-integer programs: Leveraging logic network flow for task and motion planning","venue":null,"work_id":"b33ae4fa-2741-401e-86a4-1c6a259fc6d6","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"cited_paper":"/paper/2509.24235","citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:6dfbc673fa63fd9e8122a08706a277f0351c3bdc6ecc3dde9c54b67655fc427e","observation_id":"5e593014-87df-4b0d-ada1-ec558365bb91","resolution":{"observed_at":"2026-08-13T01:24:42.044673Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Algorithms for polynomials in bernstein form","venue":null,"work_id":"a8466bbc-80d7-486b-9cc6-3fd7178b338c","year":1988},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:f982f1adf8e861c35a98607bed3e6093913d87b6ba6d6350a15adb9771fbc964","observation_id":"57d99092-1297-47ca-bc02-30ee04c54eec","resolution":{"observed_at":"2026-05-25T04:35:22.152097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Computing large convex regions of obstacle- free space through semidefinite programming","venue":null,"work_id":"a5665a01-2d3b-4854-98e8-c19fbdb35ee7","year":2015},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:a5d84e7cf9fac1cd213b5521f585861821cb1f6c6d683cf6bf2f0ff535a64583","observation_id":"0f948404-b63b-4642-bf20-ef799a2a162d","resolution":{"observed_at":"2026-05-25T04:35:22.042019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.12649","last_updated":"2024-11-13T20:00:39Z","snapshot_observed_at":"2026-08-18T15:12:06.560968Z","submitted_at":"2024-10-16T15:13:27Z","title":"Faster Algorithms for Growing Collision-Free Convex Polytopes in Robot Configuration Space","version":2},"cited_work":{"arxiv_id":"2410.12649","doi":"10.48550/arxiv.2410.12649","metadata_source":"arxiv_reference","pith_arxiv_id":"2410.12649","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Faster algorithms for growing collision-free convex polytopes in robot configuration space","venue":null,"work_id":"52c43f19-7bbd-4ec8-9259-ba9a2b628183","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"cited_paper":"/paper/2410.12649","citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:5d6e899a9ec23782f597dfb6d70aca98497b2ef3926705d5260a52a609935353","observation_id":"d4c431e9-3797-4b3d-a9ed-47df5319ac99","resolution":{"observed_at":"2026-05-25T04:35:20.740394Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Certified polyhedral decompositions of collision-free configuration space","venue":null,"work_id":"e328d846-a4ce-4530-b812-ebad30cc206c","year":2024},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:d24b8f1da0975d5808c63e0b410d396a23deac8908adacb8f76800d34e85673b","observation_id":"b29009ad-9c56-48e5-8531-57460247a126","resolution":{"observed_at":"2026-05-25T04:35:22.044931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cf18e68f-2fcc-43da-9b54-ade57be9b6c2","year":2011},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:18de2cfa998ea52045ba9468e0e50282af2a981a6ce76feb50b6ac4a73bed5c2","observation_id":"2ce1a953-4bcf-4273-b345-0c8564ec32ac","resolution":{"observed_at":"2026-05-25T04:35:22.024991Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Nesterov and A","venue":null,"work_id":"8a2474fd-4312-47e7-9938-91362375156e","year":1994},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:c35a0d40cd0cd14cf608500e59b2cc3ca292ac9f577b4625b826856acd003c9f","observation_id":"826fb1d8-fbf4-43a9-8ed6-11235a82c25f","resolution":{"observed_at":"2026-05-25T04:35:22.018487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"ApS,The MOSEK Python Fusion API manual","venue":null,"work_id":"5cdac68e-a9b5-4eda-a2ba-747a1e7316f1","year":2025},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:40037bd6604a68f0458f2af3f89d0794f85a75e234f7b1de1603490ffc9d192f","observation_id":"24fbd997-abbf-4ac4-b7ae-b056d199491a","resolution":{"observed_at":"2026-05-25T04:35:22.028255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Minimum snap trajectory generation and control for quadrotors","venue":null,"work_id":"68c87e8b-cf88-4485-b20a-75a78ec291c6","year":2011},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:1fcb932263986656af040dfabd78bab985c262fc6786dfd28d67f59d22133d87","observation_id":"9d2d2390-84f7-4326-b8af-be7313e83754","resolution":{"observed_at":"2026-05-25T04:35:22.015530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Drake: Model-based design and verification for robotics","venue":null,"work_id":"09860fbf-2b65-4ccf-8881-a6269ee3b564","year":2019},"citing_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-25T04:34:45.656594Z"},"links":{"citing_paper":"/paper/2605.23240"},"observation_digest":"sha256:7bda7dc15fc4f031f972ab9179c96b2e444991b425ba0b81f405026f28200a23","observation_id":"1817b5c3-c755-4b2d-abaf-731d80fc90de","resolution":{"observed_at":"2026-05-25T04:35:22.031932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-18T13:19:53.695047Z","submitted_at":"2026-05-22T05:19:43Z","title":"Signal Temporal Logic Motion Planning via Graphs of Convex Sets"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":4,"verified_fuzzy":55},"total_outbound_references":60},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 1 inbound Pith citation observation for arXiv:2605.23240."}