@misc{indiciae4c917764c655,
  title = {HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)},
  author = {Hongjian Jiang and Anthony W. Lin and Oliver Markgraf and Philipp Rümmer and Daniel Stan},
  year = {2025},
  url = {https://arxiv.org/abs/2505.15959},
  note = {Source identifier: 2505.15959}
}