Before revision: Michael I. Jordan, Emmanuel Todorov and Daniel Wolpert contributed significantly to the mathematical formalization.
After revision: Michael I. Jordan, Emanuel Todorov and Daniel Wolpert contributed significantly to the mathematical formalization.