C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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