← back to paper

Review history

arxiv: 2606.30820 · 2 revisions

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

1. 2026-07-12 CONDITIONAL HIGH v1.1.0-grok45 novelty 6.0
   29447 ms 16278 in 2989 out 2026-07-12T10:29:33.988920+00:00
2. 2026-07-01 UNVERDICTED LOW v0.9.1-grok novelty 6.0
   46340 ms 5765 in 1182 out 2026-07-01T01:21:06.368299+00:00