Semantic verification of dynamic programming.

Nuria Brede Nicola Botta

Published in: CoRR (2020)

Keyphrases

semantic concepts
dynamic programming
semantic similarity
low level features
semantic information
model checking
linear programming
reinforcement learning
semantic level
databases
infinite horizon
greedy algorithm
domain specific
state space
multi agent
high level
neural network