@INPROCEEDINGS{Mra14ncma,
  author = {František Mráz},
  title = {Limited Restarting Automata},
  booktitle = {Sixth Workshop on Non-Classical Models for Automata and Applications
    -- {NCMA} 2014, Kassel, Germany, July 28--29, 2014. Proceedings},
  year = {2014},
  editor = {Suna Bensch and Rudolf Freund and Friedrich Otto},
  volume = {304},
  series = {books@ocg.at},
  pages = {29--56},
  publisher = {Österreichische Computer Gesellschaft},
  note = {invited lecture},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ncma/Mraz14},
  isbn = {978-3-85403-304-2},
  owner = {František Mráz},
  timestamp = {Sun, 16 Nov 2014 01:38:45 +0100}
  abstract = {Restarting automata were introduced as a tool for modelling a method of checking correctness of sentences called analysis by reduction. The first ten years of research on restarting automata brought out their interesting properties and introduced several extensions to the original model. Here we concentrate on recent developments in the opposite direction – from complex to simpler models. Such development aims to find automata models which are somewhat limited in their power but have other desired properties, like e.g. simpler definition, more effective recognition or learnability. All these properties are crucial for possible applications of restarting automata.}
}