@misc{indiciae4a4755ac53e4,
  title = {Simulation Based Computation of Certificates for Safety of Hybrid Dynamical Systems},
  author = {Stefan Ratschan},
  year = {2018},
  url = {https://arxiv.org/abs/1707.00879},
  note = {Source identifier: 1707.00879}
}