On rule width and the unreasonable effectiveness of policy verification.

Hrishikesh B. Acharya

Published in: LCN (2014)

Keyphrases

model checking
formal verification
data sets
neural network
optimal policy
rule sets
formal methods