@misc{indiciae9dc20dc408bc,
  title = {Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter},
  author = {Krishnendu Chatterjee and Wolfgang Dvořák and Monika Henzinger and Veronika Loitzenbauer},
  year = {2017},
  url = {https://arxiv.org/abs/1711.09148},
  note = {Source identifier: 1711.09148}
}