Incremental synthesis of switching protocols via abstraction refinement.

Petter Nilsson Necmiye Ozay

Published in: CDC (2014)

Keyphrases

incremental learning
communication protocols
real time
data abstraction
program synthesis
refinement process
databases
data mining
learning algorithm
high level
web services
database systems
texture synthesis
cryptographic protocols
incremental clustering
decision theoretic planning