TY - RPRT TI - Towards realistic large random models of labeled transition systems and their 0-1 laws AU - Milan LopuhaƤ-Zwakenberg PY - 2026 UR - https://arxiv.org/abs/2607.15029 ID - 2607.15029 ER -