Daniel Kroening

policy synthesis (3) sparse reward (2) reinforcement learning (2) formal verification (1) deep neural network (1) markov decision process (1) bayesian inference (1) hamming distance (1) safe reinforcement learning (1) risk bound (1) temporal logic (1) neural network verification (1) safety constraint (1) image classifier (1) satisfiability solving (1) adversarial robustness (1) model explanation (1) global robustness (1) adversarial example (1) image classification (1)