← back to paper

Review history

arxiv: 2605.12539 · 2 revisions

ocLTL: LTL Realizability and Synthesis Modulo {\omega}-Categorical Structures

1. 2026-05-21 UNVERDICTED LOW v0.9.0 novelty 6.0
   60998 ms 5612 in 1358 out 2026-05-21T00:21:34.397139+00:00
2. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 7.0
   81523 ms 5351 in 1301 out 2026-05-14T21:00:20.054853+00:00