Complexity of ten decision problems in continuous time dynamical systems | IEEE Conference Publication | IEEE Xplore