Assertion: navigation's function | /r/HasProperty | defined
Facets:
Source sentences:
text: Applying Bellman's principle of optimality the optimal cost-to-go function is defined as
text: These three functions are defined below.