Simulation based computation of certificates for safety of dynamical systems

DOI10.1007/978-3-319-65765-3_17zbMath1494.68172arXiv1707.00879MaRDI QIDQ1683459

Stefan Ratschan

Publication date: 1 December 2017

Full work available at URL: https://arxiv.org/abs/1707.00879

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

37M05: Simulation of dynamical systems