Comment by karmacondon

Does anyone have link to papers about the technology behind Libratus?