Sign in

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

Kyungmin BaeCamilo 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