Verification and computation in restricted Tile Automata.

David Caballero Timothy Gomez Robert T. Schweller Tim Wylie

Published in: Nat. Comput. (2024)

Keyphrases

formal analysis
expert systems
finite state
finite automata
real time
machine learning
learning algorithm
database systems