Complexity of Verification and Synthesis of Threshold Automata.

A. R. Balasubramanian Javier Esparza Marijana Lazic

Published in: ATVA (2020)

Keyphrases

computational cost
worst case
cellular automata
model checking
information retrieval
computational complexity
decision problems
texture synthesis
databases
neural network
machine learning
computer vision
multi agent
gray level
regular expressions
finite state