On the decidability and complexity of problems for restricted hierarchical hybrid systems

Paul C. Bell, Shang Chen, Lisa Jackson. On the decidability and complexity of problems for restricted hierarchical hybrid systems. Theoretical Computer Science, 652:47-63, 2016. [doi]

Abstract

Abstract is missing.