TY  - RPRT
TI  - TIRA: Toolbox for Interval Reachability Analysis
AU  - Pierre-Jean Meyer
AU  - Alex Devonport
AU  - Murat Arcak
PY  - 2019
DO  - 10.1145/3302504.3311808
UR  - https://arxiv.org/abs/1902.05204
ID  - 1902.05204
ER  -