First Page | Document Content | |
---|---|---|
Date: 2015-09-21 11:27:16Finite automata Model checking -automaton Generalized Bchi automaton Bchi automaton Buchi Muller automaton Automata theory | The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format wAdd to Reading ListSource URL: adl.github.ioDownload Document from Source WebsiteFile Size: 121,10 KBShare Document on Facebook |
A Structurally Dynamic Cellular Automaton with Memory in the Triangular Tessellation Ramón Alonso-Sanz ETSI Agrónomos (Estadística), C. Universitaria, Madrid, SpainDocID: 1v551 - View Document | |
Implementing Per Bak’s Sand Pile Model as a Two-Dimensional Cellular Automaton Leigh Tesfatsion 21 January 2009 Econ 308 Presentation OutlineDocID: 1uxU0 - View Document | |
An automaton model for forest algebras Antoine Delignat-Lavaud Department of Computer Science, Boston College Advisor: Howard Straubing June 1 - August 15, 2010DocID: 1ui1f - View Document | |
A Mobile Automaton: An Application of Artificial Intelligence TechniquesDocID: 1tUr5 - View Document | |
Complex Shift Dynamics of Some Elementary Cellular Automaton RulesDocID: 1tUbH - View Document |