Compositional State Space Generation from Lotos Programs.

Jean-Pierre Krimm Laurent Mounier

Published in: TACAS (1997)

Keyphrases

state space
reinforcement learning
heuristic search
state variables
markov decision processes
dynamical systems
information systems
dynamic programming
particle filter
optimal policy
logic programs
automatic programming
fixpoint
belief state
data sets
programming language
search space
neural network
databases