Ventsislav Chonev Joël Ouaknine James Worrell 0001 On Recurrent Reachability for Continuous Linear Dynamical Systems. 515-524 2016 LICS https://doi.org/10.1145/2933575.2934548 https://ieeexplore.ieee.org/document/8576481 conf/lics/2016 db/conf/lics/lics2016.html#ChonevOW16