Efficient partition of state space for parallel reachability analysis.

Mustapha Bourahla Mohamed Benmohamed

Published in: AICCSA (2005)

Keyphrases

reachability analysis
state space
markov decision processes
heuristic search
timed automata
low cost
parallel execution
state variables
particle filter
optimal policy
model checking
dynamical systems
parallel processing
parallel architectures
incremental algorithms