On the existence of compositional barrier certificates.

Christoffer Sloth Rafael Wisniewski George J. Pappas

Published in: CDC (2012)

Keyphrases

access control
public key
relational databases
digital libraries
evolutionary algorithm
real time
machine learning
complementarity problems
equilibrium point