TY  - RPRT
TI  - Random Generation of Small Quantitative Automata for Algorithm Debugging
AU  - Mikael Bisgaard Dahlsen-Jensen
AU  - Jaco van de Pol
PY  - 2026
DO  - 10.1007/978-3-032-30693-7_13
UR  - https://arxiv.org/abs/2607.12170
ID  - 2607.12170
ER  -