← back to paper

Review history

arxiv: 2605.12418 · 2 revisions

Extending QuAK with Nested Quantitative Automata

1. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 5.0
   41787 ms 5743 in 1183 out 2026-05-20T21:29:50.571342+00:00
2. 2026-05-13 UNVERDICTED LOW v0.9.0 novelty 4.0
   49833 ms 5510 in 1178 out 2026-05-13T02:28:43.069884+00:00