A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot Julien Brusten Jérôme Leroux A Generalization of Semenov's Theorem to Automata over Real Numbers. 469-484 2009 CADE http://dx.doi.org/10.1007/978-3-642-02959-2_34 conf/cade/2009 db/conf/cade/cade2009.html#BoigelotBL09