Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives

Paul C. Bell, Shang Chen, Lisa Jackson. Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives. In Joël Ouaknine, Igor Potapov, James Worrell, editors, Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings. Volume 8762 of Lecture Notes in Computer Science, pages 32-44, Springer, 2014. [doi]

Abstract

Abstract is missing.