TY  - RPRT
TI  - Converse Theorems for Safety and Barrier Certificates
AU  - Stefan Ratschan
PY  - 2018
UR  - https://arxiv.org/abs/1701.03948
ID  - 1701.03948
ER  -