@misc{indiciae1d00daecf624,
  title = {Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor},
  author = {Ziran Wang and Jie An and Naijun Zhan},
  year = {2026},
  url = {https://arxiv.org/abs/2609.16866},
  note = {Source identifier: 2609.16866}
}