@misc{indiciae729038ffe6e0,
  title = {Dynamic logic assigned to automata},
  author = {Ivan Chajda and Jan Paseka},
  year = {2018},
  doi = {10.1007/s10773-017-3311-0},
  url = {https://arxiv.org/abs/1809.04456},
  note = {Source identifier: 1809.04456}
}