@InProceedings{,
  author = 	 {Stefan Ratschan},
  title=         {Simulation Based Computation of Certificates for Safety of Dynamical Systems},
  editor=        {Abate, Alessandro and Geeraerts, Gilles},
  booktitle =    {Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017},
  year = 	 2017,
  volume = 	 10419,
  pages = 	 {303--317},
  publisher=     {Springer International Publishing}
}