Pathwise observability and controllability are decidable.

Mohamed Babaali Magnus Egerstedt

Published in: CDC (2003)

Keyphrases

partial observability
partially observable
first order logic
planning problems
transitive closure
reinforcement learning
datalog programs
temporal reasoning
data mining
information systems
state space
situation calculus
planning domains
belief state
decision model
simple temporal