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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.