Value Alignment Verification.

Daniel S. Brown Jordan Schneider Anca D. Dragan Scott Niekum

Published in: ICML (2021)

Keyphrases

model checking
dynamic time warping
verification method
formal methods
artificial intelligence
signature verification
formal verification
real world
mobile robot
face verification
formal analysis
concurrent systems
procrustes analysis