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]

Authors

Hartmut Messerschmidt

This author has not been identified. Look up 'Hartmut Messerschmidt' in Google

Frantisek Mráz

This author has not been identified. Look up 'Frantisek Mráz' in Google

Friedrich Otto

This author has not been identified. Look up 'Friedrich Otto' in Google

Martin Plátek

This author has not been identified. Look up 'Martin Plátek' in Google