An approximation algorithm for box abstraction of transition systems on real state spaces.

Kunihiko Hiraishi Koichi Kobayashi

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

learning algorithm
dynamic programming
computational complexity
np hard
artificial intelligence
optimal solution
state space
queueing networks