Pieter Collins, Ivan S. Zapreev. Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 107-119, Springer, 2009. [doi]
Abstract is missing.