@misc{indiciaeb2e8b93f41d2,
  title = {Towards Finite Satisfiability of PDL with Loops},
  author = {Bartosz Jan Bednarczyk and Mikołaj Swoboda},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15632},
  note = {Source identifier: 2610.15632}
}