Theoretical Computer ScienceVolume 735, 29 July 2018, Page 1Reachability Problems 2014: Special issueAuthor links open overlay panelJoël Ouaknine, Igor Potapov, James WorrellShow moreShareCitehttps://doi.org/10.1016/j.tcs.2018.05.024Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)© 2018 Published by Elsevier B.V.