Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini. Randomise Alone, Reach as a Team. In Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors, Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I. Volume 16682 of Lecture Notes in Computer Science, pages 215-236, Springer, 2026. [doi]
Abstract is missing.