@misc{indiciaee52d89c4e9f7,
  title = {Revisiting the Complexity of Stability of Continuous and Hybrid Systems},
  author = {Sicun Gao and Soonho Kong and Edmund Clarke},
  year = {2014},
  url = {https://arxiv.org/abs/1404.7169},
  note = {Source identifier: 1404.7169}
}