TY  - RPRT
TI  - JuliaReach: a Toolbox for Set-Based Reachability
AU  - Sergiy Bogomolov
AU  - Marcelo Forets
AU  - Goran Frehse
AU  - Kostiantyn Potomkin
AU  - Christian Schilling
PY  - 2019
DO  - 10.1145/3302504.3311804
UR  - https://arxiv.org/abs/1901.10736
ID  - 1901.10736
ER  -