@misc{indiciaeef2377f77b3b,
  title = {Invariant Clusters for Hybrid Systems},
  author = {Hui Kong and Sergiy Bogomolov and Christian Schilling and Yu Jiang and Thomas A. Henzinger},
  year = {2016},
  url = {https://arxiv.org/abs/1605.01450},
  note = {Source identifier: 1605.01450}
}