The Complexity of Bounded Synthesis for Timed Control with Partial Observability.

Hans-Jörg Peter Bernd Finkbeiner

Published in: FORMATS (2012)

Keyphrases

partial observability
control system
petri net
partially observable
fully observable
planning under partial observability
lower bound
planning problems
optimal control
belief state
reinforcement learning
computational complexity
search space
dynamic programming
heuristic search
partial information