A CATEGORICAL OUTLOOK ON CELLULAR AUTOMATA SILVIO CAPOBIANCO AND TARMO UUSTALU Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia E-mail address: {silvio,tarmo}@cs.ioc.

Source URL: cs.ioc.ee

OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

Source URL: research.cs.wisc.edu

• Formal languages
• Finite automata
• Nested word
• Words
• Finite-state machine

NASA Formal Methods 2015 April 27th, 2015 Pasadena, CA, USA Reachability Preservation Based Parameter Synthesis for Timed Automata

Source URL: lipn.univ-paris13.fr

A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi Tohoku University

Source URL: www.kb.ecei.tohoku.ac.jp

arXiv:cond-matv1 9 DecEffects of Static and Dynamic Disorder on the Performance of Neural Automata J.J. Torres, J. Marro, P.L. Garrido, J.M. Cort´es, F. Ramos, and M.A. Mu˜ noz

Source URL: ergodic.ugr.es

As Soon as Possible: Time Optimal Control for Timed Automata? Eugene Asarin1 and Oded Maler2 1 Institute for Information Transmission Problems, 19 Bol. Karetnyi per

Source URL: www.liafa.jussieu.fr

BOUNDARY GROWTH IN ONE-DIMENSIONAL CELLULAR AUTOMATA CHARLES D. BRUMMITT AND ERIC ROWLAND Abstract. We systematically study the boundaries of one-dimensional, 2color cellular automata depending on 4 cells, begun from sim

Source URL: thales.math.uqam.ca

Approximating Continuous Systems by Timed Automata⋆ Oded Maler1 and Gr´egory Batt2 1 Verimag-UJF-CNRS, 2 Av. de Vignate, 38610 Gi`eres, France

Source URL: www-verimag.imag.fr

ARE THERE FACTOR-UNIVERSAL CA? MICHAEL HOCHMAN There are a number of notions of universality that have been studied for cellular automata. Most of these involve either computation-theoretic universality (i.e. that, under

Source URL: math.huji.ac.il

Morphic words governing the boundaries of cellular automata Charles Brummitt1 1 University 2 LaCIM,

Source URL: thales.math.uqam.ca