An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.

Orna Grumberg Orna Kupferman Sarai Sheinvald

Published in: ATVA (2013)

Keyphrases

finite state machines
real time
distributed systems
complex systems
artificial intelligence
intelligent systems
building blocks
retrieval systems
finite automata
database
neural network
computer vision
website
high level
asynchronous circuits