Assertion: robot | /r/HasProperty | combined with dynamic programming
Facets:
Source sentences:
text: When combined with dynamic programming, the automaton can be used to answer many interesting questions about S.