{"as_of":"2026-08-19T13:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2ea615ca9d1f53cbf8b399e9fa65982e4b596f61d7b20b53f9690edc922b8cb7","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T10:30:18.956290Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2606.30820/citation-record","integrity":"/paper/2606.30820/integrity","json":"/paper/2606.30820/citation-record.json","paper":"/paper/2606.30820"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T10:30:18.956290Z","title":"Robustness measures and monitors for time window temporal logic,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:36efd58e2656dc50960a84f8d2abb4ced4ddb358639897b88ab1a850da91b3a1","observation_id":"d4957e86-8b5d-48c9-ac0f-9efc72625308","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:d8db0ef67a7adb19b617adc09df4839acc45d4c08752ac73e52e4b475372b7cc","observation_id":"93c72809-a0de-4480-96b3-b0dfda7ce7f7","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"A survey on temporal logics for specifying and verifying real-time systems,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:d39354ee7ba305b4e0e858d6860ae276a7c1726dc89dd8e2b6d0546bb2d191b0","observation_id":"1c55a97b-b324-4925-9dfc-94c7a71dca93","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Monitoring temporal properties of contin- uous signals,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:08b3a7fa5780adfebd16ee44c78995dd7828ddcd77dfb54669550ab28d112cf7","observation_id":"778fb6bf-ed04-4150-836e-5f9c920da333","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Specifying real-time properties with metric temporal logic,","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:cc6ccdc2ac499b226adb3febeeb570ddeb868e41b65c51b08d62fa0070311163","observation_id":"0a26ac6c-c015-4f02-a740-e2ba4fef65c9","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Time window temporal logic,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:25da55a9fdee76321ff647e283e8c04aa26a7989367b9a0e0c20a35926f5df34","observation_id":"960cc3dc-ba76-419d-9e16-f8b11eb9388e","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Language-guided sampling- based planning using temporal relaxation,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:930cdbacd7ea90c89ea019624fa5ee7b992a710b065d92d310bdfb03540852a3","observation_id":"f5e57bf0-1629-41ca-bc31-572184d47a78","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Formal methods for control synthesis: An optimization perspective,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:2bc08d577187e88534f6cad918472dff7f1157447a1e5f54208eef29e51f6ec6","observation_id":"f960ec5c-4401-473f-8293-12f18973afcb","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Robust satisfaction of temporal logic over real-valued signals,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:9b3d52de904936c703bfa781ae6f1d359b889646942058b2eea7725dbcd2efd8","observation_id":"8b20910f-452a-4a04-be98-d9c4d117cd48","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Model predictive control with signal temporal logic specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:c3506ad400aa57d7c6e6ac7c4b04ca5c06c6b90074f605f23db02120cfcecc51","observation_id":"42cefd60-1ae9-4841-8679-71d684168484","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Arithmetic-geometric mean robustness for control from signal temporal logic specifications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:39e6f42ea3d6e08af9f2e3122db8cae506aee54055ea49377ad514be9154ad66","observation_id":"6f9e35d3-ae67-45be-9455-ad865bbc15b2","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Runtime monitoring of time window temporal logic,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:140f4f41995971a854c2ea2d7c563095fad5e1d24c52be1594988368a05cd5b2","observation_id":"ee772965-536f-4612-aa5b-9f0c86016ca0","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Qtwtl: Quality aware time window tem- poral logic for performance monitoring,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:4b8e20c3ef8a18ce8d272b95fad75f6359cf2dc0cc0fe240b71cb513d58bf0c7","observation_id":"09e641d5-cabe-4909-916e-3e635360ce10","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Rrt η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:61361228898eba71bdd1cad3854d556fe374d15d8095b0d0d5585cc2f76fbf76","observation_id":"c7cf8076-f33d-4169-96ad-55c38d7947be","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:433b02f6e86b1671dbdc21a00ff02747f95770a44fc68048bc085bd1e006e32e","observation_id":"540027a2-5b5c-44ac-9d06-0dd4e03253a3","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:5ddf9f454fe3d24cdc0a8629cad19bc2d2b1fa9084c66a55108e3720367742ad","observation_id":"e26f4588-c408-49c8-aaab-30438cf83f40","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.06367","last_updated":"2022-05-03T13:09:12Z","snapshot_observed_at":"2026-08-16T17:07:12.456422Z","submitted_at":"2022-04-13T13:25:06Z","title":"Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.06367","snapshot_observed_at":"2026-07-12T10:30:18.956290Z","title":"Mixed-Integer Programming for Signal Tempo- ral Logic with Fewer Binary Variables,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"cited_paper":"/paper/2204.06367","citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:7c1e4ecf75f8e4aec2924be8c1a418e91dbfcbffafc09240069fb73dbc0bcb44","observation_id":"ea8a8245-06fc-45a9-b79b-d1ce7495b4b5","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"Gurobi optimizer reference manual,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:03524883fc12596ff60ec542379a59401830d2e22b17d38c921cd1e4a3ee3374","observation_id":"a57b4637-d032-4920-a6c3-b3002d93aed3","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","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-07-12T10:30:18.956290Z","title":"ApS,Mosek Documentation, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-12T10:30:18.956290Z"},"links":{"citing_paper":"/paper/2606.30820"},"observation_digest":"sha256:3754b34889e0fcabb403735ee16e9b38fc6c6b87cad1dd85ff97d5937e39299c","observation_id":"5ede6794-23c9-44b7-abd9-3cae8648d603","resolution":{"observed_at":"2026-07-12T10:30:18.956290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.30820","last_updated":"2026-07-05T18:15:16Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-17T22:13:11.253804Z","submitted_at":"2026-06-29T18:47:16Z","title":"Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":19},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2606.30820."}