Proving Non-Deterministic Computations in Agda.

Sergio Antoy Michael Hanus Steven Libby

Published in: WLP / WFLP (2017)

Keyphrases

knowledge base
black box
stochastic methods
multi agent systems
object recognition
upper bound
efficient computation