@misc{indiciaecbcf4c2454bb,
  title = {Understanding Safety Constraints Coalgebraically},
  author = {Grygoriy Zholtkevych and Maksym Labzhaniia},
  year = {2020},
  url = {https://arxiv.org/abs/2001.09787},
  note = {Source identifier: 2001.09787}
}