{"as_of":"2026-08-16T20:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ddb78bb0460a34520a9aa4599a9e47c845894f08eb13f4b7aa02c2b1bc76d38f","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T13:16:09.137969Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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.19196/citation-record","integrity":"/paper/2607.19196/integrity","json":"/paper/2607.19196/citation-record.json","paper":"/paper/2607.19196"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:02.679047Z","title":"MIT Press, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":1,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.679047Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:b69def3f6e8b724d5c1b8e07198a28a13604862cd894985c2f7b9bb035d5cd97","observation_id":"2d3131bd-feb7-442f-a5ea-0552e944370d","resolution":{"observed_at":"2026-08-01T13:16:02.679047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:02.775667Z","title":"Motion planning with temporal-logic specifications: Progress and challenges.AI communications, 29(1):151– 162, 2015","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":2,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.775667Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:5c0621923823589abf68cc215c18c08000c9bca1e77c375db414bc05359cb0fb","observation_id":"edfe2598-6d63-4c3d-a795-d80cb8be3265","resolution":{"observed_at":"2026-08-01T13:16:02.775667Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:02.903319Z","title":"Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1(1):211–236, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":3,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.903319Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:3e81a9786c666de505d3f07d62595794970763f16fe015c6036d0e827cfa54d6","observation_id":"c9057f39-a08f-41fd-8a6e-4b5ddaa6cb32","resolution":{"observed_at":"2026-08-01T13:16:02.903319Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.058906Z","title":"Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications.IEEE Robotics and Automation Letters, 6(2):4169–4176, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":4,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.058906Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:60d25f93e972ec7b46fc4770ac9b914823349915ed2722b7787032067b72f579","observation_id":"511c691c-5ac3-456c-bfa5-0df695aa6093","resolution":{"observed_at":"2026-08-01T13:16:03.058906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.167447Z","title":"Temporal-logic-based reactive mission and motion planning.IEEE transactions on robotics, 25(6):1370–1381, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":5,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.167447Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:06a92c3308ce39c2364be0a9e7d676965722e772f09c4456056720a9736b3613","observation_id":"02e3f399-74c3-4c43-8bfb-5f816a5533aa","resolution":{"observed_at":"2026-08-01T13:16:03.167447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.295972Z","title":"Springer, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":6,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.295972Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:747f8b4010500e5dc35dfc26cd351f73f95e7820855c5b7dd3e4b19449318e58","observation_id":"41d41d92-1c46-4398-9111-e48e0c36b84f","resolution":{"observed_at":"2026-08-01T13:16:03.295972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.438312Z","title":"Monitoring temporal properties of continuous signals","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":7,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.438312Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:c03c5e9533d22278e53b4ccc6a8238ee64c59b635057d28dbf2870df12aa3506","observation_id":"41c9f598-2fe7-438d-be2c-cd7af48b1c82","resolution":{"observed_at":"2026-08-01T13:16:03.438312Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.563919Z","title":"Formal methods for control synthesis: An optimization perspective.Annual Review of Control, Robotics, and Autonomous Systems, 2(1):115–140, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":8,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.563919Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:37e937ee8c2b221606d846416a531855950c075ac6f8a65a02efaebdb5d61ef5","observation_id":"464b3ecc-426b-4130-bff4-c37dbb1e8666","resolution":{"observed_at":"2026-08-01T13:16:03.563919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.701955Z","title":"Mixed-integer programming for signal temporal logic with fewer binary variables.IEEE Control Systems Letters, 6:2635–2640, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":9,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.701955Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f33ca14565b30173110c22b4c576e4a6bc5b7d266a2935eeb5a8b09bf6ece8e6","observation_id":"9a51ac02-3800-4c3a-bf68-c694761691de","resolution":{"observed_at":"2026-08-01T13:16:03.701955Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:03.859666Z","title":"Formal synthesis of control strategies for positive monotone systems.IEEE Transactions on Automatic Control, 64(2):480–495, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":10,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.859666Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:076b7ae2d1105992f68e7070de5b66f35424a72b233c4906df4e123e0b968345","observation_id":"ab43f1a7-4d42-4a58-9ef5-dd409516c2aa","resolution":{"observed_at":"2026-08-01T13:16:03.859666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:04.000014Z","title":"Reactive synthesis from signal temporal logic specifications","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":11,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.000014Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:5414c97f7c71106f7129dc720b0c30c915d0616199e634609ba9eba16845d114","observation_id":"0d6339b7-42c2-4504-899c-3d3b77156e0d","resolution":{"observed_at":"2026-08-01T13:16:04.000014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:04.178480Z","title":"Control from signal temporal logic specifications with smooth cumula- tive quantitative semantics","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":12,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.178480Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:189d648462d9f33e72ccc7e86810a26f23a8bb2f530fb36ff75fb1e382f75928","observation_id":"ea7ff1e2-080d-4cea-b831-88e789ae002a","resolution":{"observed_at":"2026-08-01T13:16:04.178480Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:04.322746Z","title":"Temporally robust multi-agent stl motion planning in continuous time","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":13,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.322746Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f0db925123c3f5ded96c5e54dda4e82778f6200575312dcbdc2476daa5664a7b","observation_id":"2881c54c-f466-433c-987d-e1ba697270cf","resolution":{"observed_at":"2026-08-01T13:16:04.322746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:04.489750Z","title":"Stlccp: Efficient convex optimization-based framework for signal tem- poral logic specifications.IEEE Transactions on Automatic Control, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":14,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.489750Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:aa7ed34a2cb63bd268511cef6a4438193d6a5284cbc9510d4b5317cf32d483f7","observation_id":"0767257b-6508-4085-94cd-b86fc9c15570","resolution":{"observed_at":"2026-08-01T13:16:04.489750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.06896","last_updated":"2026-06-05T04:28:31Z","snapshot_observed_at":"2026-08-13T09:39:08.069655Z","submitted_at":"2026-06-05T04:28:31Z","title":"Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.06896","snapshot_observed_at":"2026-08-01T13:16:04.655012Z","title":"Successive convexification for tra- jectory optimization with continuous-time satisfaction of signal temporal logic specifications.arXiv preprint arXiv:2606.06896, 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-16T20:11:23.230965Z","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":15,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.655012Z"},"links":{"cited_paper":"/paper/2606.06896","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f910a5898de29fb73d3216ae040e4f3b8a7c634bbded8c8c352b4ff5908e5a8e","observation_id":"987e47b9-350c-44da-94f0-96f7b77e2e83","resolution":{"observed_at":"2026-08-01T13:16:04.655012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.20428","last_updated":"2026-06-11T15:23:27Z","snapshot_observed_at":"2026-08-11T19:29:44.319074Z","submitted_at":"2026-04-22T10:49:09Z","title":"Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.20428","snapshot_observed_at":"2026-08-01T13:16:04.820185Z","title":"Lexicographic minimum-violation motion planning using signal temporal logic.arXiv preprint arXiv:2604.20428, 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-16T20:11:23.230965Z","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":16,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.820185Z"},"links":{"cited_paper":"/paper/2604.20428","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:7058e96387430f714294c5fbe8d7041fdd9de929bb02256d6aa381890aeec4b4","observation_id":"7241938d-1d4b-4a05-9509-4c2b5aa8f81b","resolution":{"observed_at":"2026-08-01T13:16:04.820185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:04.957310Z","title":"Prescribed performance control for signal temporal logic specifications","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":17,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.957310Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d024e99981ca41cb44ab6150cc874345d2f4abf869b02f45e42d6cd8df55d760","observation_id":"1dfa9a17-4a1a-4361-b591-d6487944ff0e","resolution":{"observed_at":"2026-08-01T13:16:04.957310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.042469Z","title":"Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96– 101, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":18,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.042469Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:a0f64b10a66688267f2e11f418238d28ba55209eecb81def1977e8bf5685e958","observation_id":"a02e1ea8-6419-4bf5-b833-5c40a8c18f7d","resolution":{"observed_at":"2026-08-01T13:16:05.042469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.138936Z","title":"Sequen- tial control barrier functions for mobile robots with dynamic temporal logic specifications.Robotics and autonomous systems, 176:104681, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":19,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.138936Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:61bca50aad625ac33cceac1f09d8a992380df791f6b9bf1cc8b4e9ef14f98f60","observation_id":"5a6e4017-7bc6-4caa-bbca-d9388cfc6da5","resolution":{"observed_at":"2026-08-01T13:16:05.138936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.259143Z","title":"Resilient online planning for mobile robots with minimal relaxation of signal temporal logic specifications.IEEE Robotics and Automation Letters, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":20,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.259143Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:cd2788279aafb0b7feb4c1948879ad0ba47e46db6d9c6ad588ee8c8423a69ec7","observation_id":"f770ff53-6e75-4596-aebf-bc704bd591b9","resolution":{"observed_at":"2026-08-01T13:16:05.259143Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.28092","last_updated":"2026-08-07T10:09:23Z","snapshot_observed_at":"2026-08-16T20:01:36.364357Z","submitted_at":"2026-05-27T07:47:45Z","title":"An Operator-based Approach to STL","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.28092","snapshot_observed_at":"2026-08-01T13:16:05.356798Z","title":"An operator-based approach to stl.arXiv preprint arXiv:2605.28092, 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-16T20:11:23.230965Z","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":21,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.356798Z"},"links":{"cited_paper":"/paper/2605.28092","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:a6602325039dfd05715492506f58467e2d9ff5e4dc9044246cc16b044a7080ef","observation_id":"ba38dd98-492c-4995-ba3b-a68331e5d09b","resolution":{"observed_at":"2026-08-01T13:16:05.356798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.519719Z","title":"Control barrier function based quadratic programs for safety critical systems.IEEE Transactions on Automatic Control, 62(8):3861–3876, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":22,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.519719Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:8907853952b961a5aff05626a10daccc7edad758313950b518f903f06253e2e9","observation_id":"81fa7273-cf00-4246-a544-ce52f9fa4d78","resolution":{"observed_at":"2026-08-01T13:16:05.519719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.684360Z","title":"Shortest paths in graphs of convex sets.SIAM Journal on Optimization, 34(1):507–532, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":23,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.684360Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:45f6e0927571d5643057ebc8ab3a0c590628ff1fe0c0adb5d0d2535fbd4af54f","observation_id":"19d7d08b-6418-4f10-9ca8-4bc67dd0b7ce","resolution":{"observed_at":"2026-08-01T13:16:05.684360Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.810940Z","title":"Motion planning around obstacles with convex optimization.Science robotics, 8(84):eadf7843, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":24,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.810940Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:8a6608912409991bda264a408e9fa56567cfef17cf957eb74cd665bc9ad04fdc","observation_id":"4ee1edf0-2afd-406a-bdbd-3034646be9ca","resolution":{"observed_at":"2026-08-01T13:16:05.810940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:05.957584Z","title":"Admm-based continuous trajectory optimization in graphs of convex sets.arXiv preprint arXiv:2603.11335, 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-16T20:11:23.230965Z","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":25,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.957584Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:8fde69c840783439890590dbe56097b845a280e173fda3af92ca6848de25f80b","observation_id":"97d03ca3-5401-48e9-ae31-aaa87544ba0a","resolution":{"observed_at":"2026-08-01T13:16:05.957584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:06.104159Z","title":"Temporal logic motion planning with convex optimization via graphs of convex sets.IEEE Transactions on Robotics, 39(5):3791–3804, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":26,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.104159Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:33d9e8b9d9bccd40aa808e56cb80bca5799230e7501d969b90955f046df29e50","observation_id":"7484a964-8209-4575-b894-f44dc9d2bd33","resolution":{"observed_at":"2026-08-01T13:16:06.104159Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:06.253461Z","title":"Continuous-time control synthesis under nested signal temporal logic specifications.IEEE Transactions on Robotics, 40:2272–2286, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":27,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.253461Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6210f5561b7e6a4527a45474cc0865cadba52ed8e4676bfa0888bb1e7c0b2c75","observation_id":"cadc09cb-2e4b-435f-9fa7-4d10a35bca15","resolution":{"observed_at":"2026-08-01T13:16:06.253461Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:06.411341Z","title":"Sampling-based planning under stl specifications: A forward invariance approach.IEEE Transactions on Automatic Control, 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-16T20:11:23.230965Z","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":28,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.411341Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:39e7c77b12de37db5839f0db7464c8d26d573e58c0b619ae957db142e8cc6667","observation_id":"1d983313-5e90-4183-9bb3-013598063ccf","resolution":{"observed_at":"2026-08-01T13:16:06.411341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.23240","last_updated":"2026-05-22T05:19:43Z","snapshot_observed_at":"2026-08-15T13:51:41.409895Z","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-16T20:11:23.230965Z","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:9e817bef4ba978525f608c1abe3d6f758307ee11a6ce4fbd09c9ad97a9f33389","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"}},{"citation":{"cited_paper":{"arxiv_id":"2606.00842","last_updated":"2026-05-30T18:32:39Z","snapshot_observed_at":"2026-08-06T19:48:46.479242Z","submitted_at":"2026-05-30T18:32:39Z","title":"A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.00842","snapshot_observed_at":"2026-08-01T13:16:06.599070Z","title":"A framework for motion planning with temporal logic precedence specifications via augmented graphs of convex sets.arXiv preprint arXiv:2606.00842, 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-16T20:11:23.230965Z","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":30,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.599070Z"},"links":{"cited_paper":"/paper/2606.00842","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:7031cf5fbf069c538bdaf612a2468e354545f60ac3a49ee1a335c3292e8f73c2","observation_id":"18dffc47-537b-480d-9502-ba3ea9c8357d","resolution":{"observed_at":"2026-08-01T13:16:06.599070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:06.751140Z","title":"Discontinuous dynamical systems.IEEE Control systems magazine, 28(3):36–73, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":31,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.751140Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:dbc4e5f775ba55eed724f7994657528d503486826a7f7590bd534b96f4cd16a6","observation_id":"9fda337c-9101-42a0-98a0-18e0a950b837","resolution":{"observed_at":"2026-08-01T13:16:06.751140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:06.846206Z","title":"Differential flatness of mechanical control systems: A catalog of prototype systems","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":32,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.846206Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:1058b84ccf3dd56f0d9923f5b4d6829281d208072a7b9df13859fa1fe816102e","observation_id":"310932da-e592-4472-9e69-32824b565daf","resolution":{"observed_at":"2026-08-01T13:16:06.846206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.016861Z","title":"Flat- ness and defect of non-linear systems: introductory theory and examples","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":33,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.016861Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d2d1cd39d8c44ce097c99203e005064e4e3ae5fd4ddbb0213f470661b1c8c1cb","observation_id":"e63220ef-7cce-48fd-9d7f-df90ef09405e","resolution":{"observed_at":"2026-08-01T13:16:07.016861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.162093Z","title":"Bezier reachable polytopes: Efficient certificates for robust motion planning with layered architec- tures","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":34,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.162093Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:01b0febecc3dcbd2a2171a05b6a9deba396ed2b4cda888b3e97c2b84ebda4593","observation_id":"43373532-4e31-480a-b750-0455dcf4757c","resolution":{"observed_at":"2026-08-01T13:16:07.162093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.294154Z","title":"Safety-critical control for autonomous systems: Control barrier functions via reduced- order models.Annual Reviews in Control, 57:100947, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":35,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.294154Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:8e32ebcc9b612cb455882f851a0c09303372149c1a22663e72ce22b43f7548a8","observation_id":"77c0e121-5a6c-4b02-8fdc-09fdef86f75b","resolution":{"observed_at":"2026-08-01T13:16:07.294154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.427822Z","title":"Convex programming for disjunctive convex optimization.Mathematical Programming, 86(3):595–614, 1999","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":36,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.427822Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:29fb17fedb6d6f8cc66b347d380e729d39890c0f203504ec92a8c7d00646a594","observation_id":"efddfff8-947d-4ce0-a050-4e6ac2ced1aa","resolution":{"observed_at":"2026-08-01T13:16:07.427822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.556543Z","title":"A unified and scalable method for optimization over graphs of convex sets.arXiv preprint arXiv:2510.20184, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":37,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.556543Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6a2518b7aec55b49847716f40200b54e1da038306f250e1862e7814892b5a101","observation_id":"456a2bda-3dfa-4e38-99c3-4ecfbfb461b7","resolution":{"observed_at":"2026-08-01T13:16:07.556543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.663954Z","title":"Trajectory planning","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":38,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.663954Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:caabeb20c7e3158a260855341a5a8b0cbe8fa2b18cd0baac3e9210948cb7b2d6","observation_id":"564ba880-47fa-427f-b236-23ea1553746e","resolution":{"observed_at":"2026-08-01T13:16:07.663954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.804609Z","title":"Barrier function-based model predictive control under signal temporal logic specifications","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":39,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.804609Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:476d9ed7e0dc81ce256b79f3bd27c69b4f935727ff8bfe4bb9c6574f9688a091","observation_id":"f3d477ab-9568-478f-9831-7ab666ecc128","resolution":{"observed_at":"2026-08-01T13:16:07.804609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:07.943101Z","title":"Set containment characterization.Journal of Global Optimization, 24(4):473–480, 2002","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":40,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.943101Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6c57a1b2f4c75c0d4b453cbb578e808f0cf54a08a7098fce7cdc9d8b1f9d7a0e","observation_id":"424cd803-f236-4497-bef1-ac708bb28381","resolution":{"observed_at":"2026-08-01T13:16:07.943101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.054838Z","title":"Linear encodings for polytope containment problems","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":41,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.054838Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:aa7327a4470f31bc19ffb4d91f98f4069c028f40f88615f723cd4bf172c01216","observation_id":"cd565011-ad46-4c26-b6d9-59cce199bfc9","resolution":{"observed_at":"2026-08-01T13:16:08.054838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.188341Z","title":"Certified polyhedral decompositions of collision-free configuration space.The International Journal of Robotics Research, 43(9):1322–1341, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":42,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.188341Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:55be78f5ab09c1bb9a498793968f62f39b6852d583f1b0fab94af841fdaf9e84","observation_id":"4be416d7-43f6-49e4-9eb7-fa6ee2aec0cd","resolution":{"observed_at":"2026-08-01T13:16:08.188341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.259758Z","title":"Fast iterative region inflation for computing large 2-d/3-d convex regions of obstacle- free space.IEEE Transactions on Robotics, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":43,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.259758Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:0b2650678fad1e5e613106bd1a04140335902f96f5db6aa58baa0f1389259d8d","observation_id":"8d626565-d4b9-4d5e-9dab-e2c0b9458d96","resolution":{"observed_at":"2026-08-01T13:16:08.259758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.10783","last_updated":"2025-04-15T00:54:55Z","snapshot_observed_at":"2026-08-16T12:41:06.748331Z","submitted_at":"2025-04-15T00:54:55Z","title":"Superfast Configuration-Space Convex Set Computation on GPUs for Online Motion Planning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.10783","snapshot_observed_at":"2026-08-01T13:16:08.373499Z","title":"Superfast configuration-space convex set computation on gpus for online motion planning.arXiv preprint arXiv:2504.10783, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":44,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.373499Z"},"links":{"cited_paper":"/paper/2504.10783","citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6706da66cde0c80e897630631fb2e3f2ad2a680ca9e028529f2003e02b18dec6","observation_id":"90d6fbfa-fefe-4c72-98a2-9a03fcefafde","resolution":{"observed_at":"2026-08-01T13:16:08.373499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.507436Z","title":"Multi-rate planning and control of uncertain nonlinear systems: Model predictive control and control lyapunov functions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":45,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.507436Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:31b96b61d1e086a9075759f2cba99665522b837d360866a809d076bb2592288a","observation_id":"cc14da9a-5a24-4c8c-ade1-e6d97ea4ea4c","resolution":{"observed_at":"2026-08-01T13:16:08.507436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.652842Z","title":"A nonsmooth approach to controller synthesis for boolean specifications.IEEE Transactions on Automatic Control, 66(11):5160–5174, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":46,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.652842Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:007c6dcaef6babc73e0751f61c82f28f8e02755a06ceea73efc63431fb05d909","observation_id":"5adc83f2-30b7-4581-8891-969cd812f24e","resolution":{"observed_at":"2026-08-01T13:16:08.652842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.791415Z","title":"Safe and dy- namically feasible motion planning using control lyapunov and barrier functions.IEEE Transactions on Robotics, 41:6440–6459, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":47,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.791415Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:8fbdcb40635f4ddcc439331ed809553bcf345b093508812c3eeae51da33735a6","observation_id":"38d52979-1244-426d-95df-d58554f34b45","resolution":{"observed_at":"2026-08-01T13:16:08.791415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.894209Z","title":"High- order barrier functions: Robustness, safety, and performance-critical control.IEEE Transactions on Automatic Control, 67(6):3021–3028, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":48,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.894209Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d8760ab73090f8903d9db7e21d500fbade6f15c138088d5d50bb0340bcc86dfb","observation_id":"ba1c4c3a-bd6b-4eea-b23d-d5abee3f3343","resolution":{"observed_at":"2026-08-01T13:16:08.894209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:08.983556Z","title":"High-order control barrier functions.IEEE Transactions on Automatic Control, 67(7):3655–3662, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":49,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.983556Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:ea9aebcf7684146ef09b7d2d5c60db7576488472cad1f06ea35fedaa715c3443","observation_id":"bea33b85-5007-44a7-87c4-386b7368685c","resolution":{"observed_at":"2026-08-01T13:16:08.983556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:09.053950Z","title":"Safe backstepping with control barrier functions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":50,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:09.053950Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d1f36eda20e64841ba1819ec3614e87f8233c62f0875fadc7d49a9ba9cbb26f4","observation_id":"cca9fecf-7a0a-485b-8027-72be3acc6d23","resolution":{"observed_at":"2026-08-01T13:16:09.053950Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T13:16:09.137969Z","title":"Cambridge university press, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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":51,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:09.137969Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:bf37e60f481ed9c3c29fec38fa851f30d825d799953f437a420f2cfd1e6fbf19","observation_id":"6a6caf9f-0ee3-483f-8e29-5fd85416c441","resolution":{"observed_at":"2026-08-01T13:16:09.137969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.19196","last_updated":"2026-07-21T15:30:55Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-16T20:11:23.230965Z","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"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":51,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":51},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 0 inbound Pith citation observations for arXiv:2607.19196."}