@misc{indiciae7f35292364bd,
  title = {Learning Quantitative Automata Modulo Theories},
  author = {Eric Hsiung and Swarat Chaudhuri and Joydeep Biswas},
  year = {2024},
  url = {https://arxiv.org/abs/2411.10601},
  note = {Source identifier: 2411.10601}
}