Paper Citation Record · LEDGER

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.30820 v2

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T10:30:18.956290Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

19 of 19 outbound references displayed

verified exact0
verified fuzzy0
unresolved19
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d4957e86-8b5d-48c9-ac0f-9efc72625308 · outbound

This paper cites Robustness measures and monitors for time window temporal logic,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Robustness measures and monitors for time window temporal logic,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93c72809-a0de-4480-96b3-b0dfda7ce7f7 · outbound

This paper cites Baier and J.-P.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Baier and J.-P

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c55a97b-b324-4925-9dfc-94c7a71dca93 · outbound

This paper cites A survey on temporal logics for specifying and verifying real-time systems,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming A survey on temporal logics for specifying and verifying real-time systems,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 778fb6bf-ed04-4150-836e-5f9c920da333 · outbound

This paper cites Monitoring temporal properties of contin- uous signals,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Monitoring temporal properties of contin- uous signals,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a26ac6c-c015-4f02-a740-e2ba4fef65c9 · outbound

This paper cites Specifying real-time properties with metric temporal logic,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Specifying real-time properties with metric temporal logic,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 960cc3dc-ba76-419d-9e16-f8b11eb9388e · outbound

This paper cites Time window temporal logic,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Time window temporal logic,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5e57bf0-1629-41ca-bc31-572184d47a78 · outbound

This paper cites Language-guided sampling- based planning using temporal relaxation,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Language-guided sampling- based planning using temporal relaxation,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f960ec5c-4401-473f-8293-12f18973afcb · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Formal methods for control synthesis: An optimization perspective,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b20910f-452a-4a04-be98-d9c4d117cd48 · outbound

This paper cites Robust satisfaction of temporal logic over real-valued signals,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Robust satisfaction of temporal logic over real-valued signals,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42cefd60-1ae9-4841-8679-71d684168484 · outbound

This paper cites Model predictive control with signal temporal logic specifications,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Model predictive control with signal temporal logic specifications,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f9e35d3-ae67-45be-9455-ad865bbc15b2 · outbound

This paper cites Arithmetic-geometric mean robustness for control from signal temporal logic specifications,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Arithmetic-geometric mean robustness for control from signal temporal logic specifications,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee772965-536f-4612-aa5b-9f0c86016ca0 · outbound

This paper cites Runtime monitoring of time window temporal logic,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Runtime monitoring of time window temporal logic,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09e641d5-cabe-4909-916e-3e635360ce10 · outbound

This paper cites Qtwtl: Quality aware time window tem- poral logic for performance monitoring,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Qtwtl: Quality aware time window tem- poral logic for performance monitoring,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7cf8076-f33d-4169-96ad-55c38d7947be · outbound

This paper cites Rrt η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Rrt η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 540027a2-5b5c-44ac-9d06-0dd4e03253a3 · outbound

This paper cites Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e26f4588-c408-49c8-aaab-30438cf83f40 · outbound

This paper cites Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea8a8245-06fc-45a9-b79b-d1ce7495b4b5 · outbound

This paper cites Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a57b4637-d032-4920-a6c3-b3002d93aed3 · outbound

This paper cites Gurobi optimizer reference manual,.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming Gurobi optimizer reference manual,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ede6794-23c9-44b7-abd9-3cae8648d603 · outbound

This paper cites ApS,Mosek Documentation, 2019.

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming ApS,Mosek Documentation, 2019

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-12T10:30:18.956290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.