Some useful references and links:
Automata Theory and Model Checking | |
| מחבר: Author: Автор: مؤلف: | Orna Kupferman |
| Chapter in the Handbook of Model Checking, covering most of what we will see about automata (and a lot of additional material). | |
| קישור: Link: Ссылка: وصلة: | https://www.cse.huji.ac.il/~ornak/publications/hbmc15.pdf |
Handbook of Model Checking | |
| מחבר: Author: Автор: مؤلف: | Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick |
| ISBN: | 3319105744 |
Udi Boker's Automata Translations Website | |
| מחבר: Author: Автор: مؤلف: | Udi Boker |
| An excellent website with details on all known translations between automata types. Strongly recommended! | |
| קישור: Link: Ссылка: وصلة: | http://www.faculty.idc.ac.il/udiboker/automata/wat.html |