← back to paper

Review history

arxiv: 2608.01047 · 2 revisions

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans

1. 2026-08-06 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   139649 ms 14688 in 13072 out 2026-08-06T04:12:14.006565+00:00
2. 2026-08-06 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   220999 ms 14662 in 23874 out 2026-08-06T00:35:57.504478+00:00