SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks.

Yunus Emre Sahin Necmiye Ozay

Published in: CoRR (2016)

Keyphrases

boolean networks
distributed systems
cooperative
databases
database systems
active learning
software engineering
data acquisition
sat solvers