Reachability in Parameterized Systems: All Flavors of Threshold Automata.

Jure Kukovec Igor Konnov Josef Widder

Published in: CONCUR (2018)

Keyphrases

neural network
computing systems
genetic algorithm
management system
database
real time
information systems
bayesian networks
reinforcement learning
expert systems
artificial neural networks
intelligent systems
learning systems
formal languages