Approximate planning and verification for large Markov decision processes.

Richard Lassaigne Sylvain Peyronnet

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases

heuristic search
planning problems
ai planning
databases
piecewise linear
model checking
concurrent systems
real time
asynchronous circuits
blocks world
domain independent
evolutionary algorithm
face recognition
knowledge base
decision making
information systems
machine learning
data mining
real world