Bringing Coq into the World of GCM Distributed Applications.

Nuno Gaspar Ludovic Henrio Eric Madelaine

Published in: Int. J. Parallel Program. (2014)

Keyphrases

theorem prover
physical world
computer vision
world model
real world
information retrieval
learning algorithm
website
bayesian networks
reinforcement learning
multi agent
expert systems
probabilistic model
human beings
formal methods