A Coalgebraic Decision Procedure for NetKAT.

Nate Foster Dexter Kozen Matthew Milano Alexandra Silva Laure Thompson

Published in: POPL (2015)

Keyphrases

decision making
decision problems
decision makers
decision rules
databases
iterative procedure
decision process
neural network
clustering algorithm
search procedure
decision model