@misc{indiciaefcb94e8c0a34,
  title = {Optimizing an LTS-Simulation Algorithm (Technical Report)},
  author = {Lukáš Holík and Jiří Šimáček},
  year = {2023},
  url = {https://arxiv.org/abs/2307.04235},
  note = {Source identifier: 2307.04235}
}