Symbolic state space reduction with guarded terms for rewriting modulo SMT.

Kyungmin Bae Camilo Rocha

Published in: Sci. Comput. Program. (2019)

Keyphrases

state space
high level
reinforcement learning
particle filter
heuristic search
dynamical systems
data sets
machine learning
markov chain
expressive power
query answering
symbolic representation
state transition