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]

@inproceedings{MesserschmidtMOP06,
  title = {Correctness Preservation and Complexity of Simple RL-Automata},
  author = {Hartmut Messerschmidt and Frantisek Mráz and Friedrich Otto and Martin Plátek},
  year = {2006},
  doi = {10.1007/11812128_16},
  url = {http://dx.doi.org/10.1007/11812128_16},
  researchr = {https://researchr.org/publication/MesserschmidtMOP06},
  cites = {0},
  citedby = {0},
  pages = {162-172},
  booktitle = {Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
  editor = {Oscar H. Ibarra and Hsu-Chun Yen},
  volume = {4094},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37213-X},
}