@misc{indiciae3fb3405391d4,
  title = {Model Checking Matrix Product States against Linear Chain Logic},
  author = {Ming Xu and Yihao Chen and Ji Guan},
  year = {2026},
  url = {https://arxiv.org/abs/2605.14356},
  note = {Source identifier: 2605.14356}
}