An Automata-Theoretic Approach to Infinite-State Systems.

Orna Kupferman Nir Piterman Moshe Y. Vardi

Published in: Essays in Memory of Amir Pnueli (2010)

Keyphrases

finite state machines
cellular automata
machine learning
computer systems
complex systems
real time
learning algorithm
website
management system
distributed systems
intelligent systems
building blocks
computing systems