TY  - RPRT
TI  - Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
AU  - Ziran Wang
AU  - Jie An
AU  - Naijun Zhan
PY  - 2026
UR  - https://arxiv.org/abs/2609.16866
ID  - 2609.16866
ER  -