Compact Multiparty Verification of Simple Computations.

Omri Ross Johannes Rude Jensen

Published in: BIR Workshops (2018)

Keyphrases

multi party
privacy preserving
model checking
reinforcement learning
mobile robot
open source
intelligent systems