@misc{indiciae42c63fe588cc,
  title = {Active Learning of One-Clock Timed Automata using Constraint Solving},
  author = {Runqing Xu and Jie An and Bohua Zhan},
  year = {2022},
  url = {https://arxiv.org/abs/2208.00412},
  note = {Source identifier: 2208.00412}
}