Partial Derivative Automata Formalized in Coq.

José Bacelar Almeida Nelma Moreira David Pereira Simão Melo de Sousa

Published in: CIAA (2010)

Keyphrases

theorem prover
cellular automata
probabilistic automata
regular expressions
genetic algorithm
decision making
image processing
decision trees
data model
formal methods
finite automata
lattice gas