PARTY Parameterized Synthesis of Token Rings.

Ayrat Khalimov Swen Jacobs Roderick Bloem

Published in: CAV (2013)

Keyphrases

program synthesis
multi party
machine learning
hidden markov models
evolutionary algorithm
wide range
image segmentation
multimedia
multi agent
database systems
cooperative
preprocessing
relational databases
trade off
case study
wireless sensor networks
neural network