A planning problem validator based on reachability analysis.

Moses Symeonidis Dimitris Giouroukis Dimitris Vrakas

Published in: SETN (2016)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
planning problems
ai planning
state space
temporal information
temporal logic
finite state
planning domains
partially observable
blocks world