TY  - RPRT
TI  - On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems
AU  - Ievgen Ivanov
PY  - 2017
DO  - 10.4204/eptcs.247.4
UR  - https://arxiv.org/abs/1704.03104
ID  - 1704.03104
ER  -