TY  - RPRT
TI  - Quantitative Semantics for Jumping Automata
AU  - Shaull Almagor
AU  - Neta Dafni
AU  - Ishai Salgado
PY  - 2025
DO  - 10.46298/lmcs-21(4:31)2025
UR  - https://arxiv.org/abs/2405.11849
ID  - 2405.11849
ER  -