Developing Verified Programs with Dafny.

K. Rustan M. Leino

Published in: VSTTE (2012)

Keyphrases

neural network
multi agent
database
feature selection
decision making
reinforcement learning
multiresolution
java programs