{"as_of":"2026-08-21T00:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c45bfc7291899bf2e498a5cc39113b93f88f504802382eafe78e4f597ad4fc98","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-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-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":1,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.679047Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6684cf0b549bc1dd593417d0fbb0a992e6195a177fd7198c4731fe68705f8290","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-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":2,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.775667Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f9be7d20b8b16315249b1b6e6a673ec95c5d01eb4f8008c6bcd591d95f122c97","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-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":3,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:02.903319Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:99c4ae335c7eb5fdc09e5170245f9855d5755924adda9af3baa5b6555dc1740b","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-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":4,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.058906Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6359d26ce84d2d629fe8c348c66ee5acb86e0c2c871158a91946827c9926de0b","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-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":5,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.167447Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:34763433a70a605f3b2f14e99023b1ecfb1ee96e5d60c3a621b37caec939a214","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-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":6,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.295972Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:81c22c2613fe06593f4b1bf53392240694e80ac5bcfed2b37e895c110c8b6beb","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-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":7,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.438312Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:af60bb230351cad1d57faeb14e71034da0987a2b6289eb2c48aaae5805d57379","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-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":8,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.563919Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:ebd0e85219467cec07838814df7785e1d89301e925ef2285a1d5464d78d7962b","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-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":9,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.701955Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d712b54e044340ef592be1e7f4f9c1fe63edb877dba772211d1ca0f6e675941c","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-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":10,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:03.859666Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:ea1eab3f45b0dc6916fa78a574c243f45a85cca140c04a1bad7f1a94b298cf76","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-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":11,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.000014Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:b831f69d94ee69a8e5d9fcaccbd2ce21b89b13abf1e7f099b7c6b1977a1edc7c","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-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":12,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.178480Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:cf0c37d59a0eab0136c1f5efaac2e62ecc449dbae8f7395769e874ddd6318fee","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-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":13,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.322746Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d3220c524a381c4069c2b88179fd4ebf9698739db730211499742130605e31dc","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-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":14,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.489750Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:9777a09899157f3ece719672fa18ff3fa2fc9b5150fbe29a1bad62d84987ef16","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-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":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:8cd8b29f68fbbbb96e062d708e269392f6043c56d49f14091fa17e6d1d484af5","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-08-19T11:14:37Z","snapshot_observed_at":"2026-08-20T23:26:19.077105Z","submitted_at":"2026-04-22T10:49:09Z","title":"Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic","version":3},"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-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":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:cef7ac2a08d4e0a44c583cca40e1c6fd9109593da85299a0544fc946c37516b2","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-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":17,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:04.957310Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:0c06045551e802945f322cfe50cb7ea9013e862d605e343a4659ee28058f8337","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-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":18,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.042469Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:31e18f9b1f555289d602c25b8233c38752a9590b2bcfd80d7e2a86f511a534b2","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-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":19,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.138936Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:7ac2f49c3fef16bd7d5a7e046160355b1d10f8784ba07ebd31dd62b0a9146f88","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-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":20,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.259143Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:6c16f1afba8b566755552018daa1027aeac0a90089949bc09fce0ddfe51190f2","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-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":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:c40d4e2e457a581f3b8444782668a877bc5c22ab0c16b623f999f123798bca9a","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-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":22,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.519719Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:0609b00a94ab29ebef904349ec9fc8a2ba43380190e139a1b423ca60f04f2430","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-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":23,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.684360Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:1069533ba596b6a31f5b6f0131152ef876ec79af9863ae878aade6a6feed4c4d","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-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":24,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.810940Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:fcd74fcb98e4451f0dc95bd1fb2e5c6c01afc66a0a6ee65cce7ddca99fcac8ac","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-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":25,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:05.957584Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f7461a54daed4590112664e43d0f118288ed2aa30c9fab7717bea00a2e3adec9","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-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":26,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.104159Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:7dcad1219fb0c3ac862b9eeb585ad48178591b8a3cba69587657e9919563ec69","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-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":27,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.253461Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d18443e806303ce61c1a2b303eafbafa82bddf91d563323c82aff03f0710ae86","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-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":28,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.411341Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:a5c48c71c0deba4e39718244fbe0550484e5085ae2b52300f5bbbb26f92b1392","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-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"}},{"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-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":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:a37810baf63b4ec39e387bda5b822de5616fe580f79634a2cee7c03de3c76667","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-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":31,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.751140Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:53e3b4afb9997d726f9c23f10f75f97a16f76efd321ff878136d5a509674d86e","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-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":32,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:06.846206Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:d9772f7cd5d20f05d110bb79280a8af70f49942196b489726a71be99f0c18f17","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-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":33,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.016861Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:70ca2bae370221c936429cc81e6681861054eadff286da85a79aca7ebcc33867","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-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":34,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.162093Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:9ac0398e5ecf25a14bc9f6325ea241b7ecf16f122f09585c68ebd6f0e49abdb6","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-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":35,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.294154Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:21b500b2e34a788900735710357dee4a45bada44d2d064761542fc840ef34177","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-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":36,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.427822Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:addbd4d9512611e578d386f0614085ae49f0fe97bb700da064332abcc7f0c897","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-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":37,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.556543Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:91bf61d361e04a4ab89d821b94f33e7df33f6ccd591c9adf0417bd03b4a4ae64","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-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":38,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.663954Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:31e05f644ede5f5c06147458effff5acd94df4e44992c6732bd2f0867b7610c6","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-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":39,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.804609Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f90a040b48fe6fc704124b8c7bf1a257a46cb37eaba84f98c05896fd50fa01c8","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-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":40,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:07.943101Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:36c2db12e9679d9907efb646744141668329bcf969bf0df05db4f4761dd0c5a0","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-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":41,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.054838Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:bf4f0f82fd5aff2c62ff97a7ca49943492490cc06c5ab327637f8ed9bb743b44","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-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":42,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.188341Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:3b8a4c541b10eb3356371c65d461cf03b0bb21a83cd73ff4d236879e26684e3e","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-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":43,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.259758Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:5aad5d73ab5568edcbce59ca0cce5c6496151a922831822c1a172b26af461f29","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-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":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:3901d0a617097eb1fcb7c77d76c973695ae5010daff2e9d8b2f95dcd4aef49c3","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-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":45,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.507436Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:376a02f9fe26a66270bcf6c0583c682384d527a61298dbde7c1eb7b5df0eabb8","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-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":46,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.652842Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:1f14404de2a256138209a82e866e71f5f6f4b29bf02f1b6380e5434f7381a336","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-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":47,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.791415Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:f399b9b254fc57261d336b234e41832896e8613220388fa560181f745f5e040e","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-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":48,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.894209Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:38ec640be113ac772764b6f46b641ed161f0c831cbde156fb98003da3f30db33","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-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":49,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:08.983556Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:cd5ad21b041e46025ba618711fb3aeba8ce7394cec1c569093af23bf83a75f86","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-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":50,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:09.053950Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:2ab4b889f305e125a0798535fccb7dc3d3a2f0e0d5eab224ff8ca9c12567b012","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-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":51,"source":"pdf_text","source_observed_at":"2026-08-01T13:16:09.137969Z"},"links":{"citing_paper":"/paper/2607.19196"},"observation_digest":"sha256:17220adb2d0b27b87d115665ed231be94bb6c2de9ed3d7336c83c108aed9f224","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-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"},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 0 inbound Pith citation observations for arXiv:2607.19196."}