Correctness Preservation and Complexity of Simple RL-Automata

Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek. Correctness Preservation and Complexity of Simple RL-Automata. In Oscar H. Ibarra, Hsu-Chun Yen, editors, Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Volume 4094 of Lecture Notes in Computer Science, pages 162-172, Springer, 2006. [doi]

Abstract

Abstract is missing.